diff --git a/bin/strict-mode.sh b/bin/strict-mode.sh new file mode 100644 index 0000000000000000000000000000000000000000..a90a22ba8653bbfbbc1c92d60f0589f7b0fd421b --- /dev/null +++ b/bin/strict-mode.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +# Note: This script should be sourced, not run directly! +set -Euo pipefail +trap 's=$?; echo "$0: Error on line "$LINENO": $BASH_COMMAND"; exit $s' ERR +IFS=$'\n\t'