Bash strict-mode settings

Intended use in user scripts:

#!/bin/bash
source strict-mode.sh || true

(|| true to allow running this without having strict-mode.sh in path)

bin/strict-mode.sh

+#!/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'