set -e in bash