[Basic Bash script] #bash

intro.bash

#!/usr/bin/env bash
## https://stackoverflow.com/questions/31313305/portably-trapping-err-in-shell-script

## http://mywiki.wooledge.org/BashFAQ/105
set -o errexit


## current shell can be tested with this:
## https://stackoverflow.com/a/11097703/587407
echo "* current shell     : '`ps -p $$ -ocomm=`'"