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