Newer
Older
dub_jkp / test / common.sh
  1. SOURCE_FILE=$_
  2.  
  3. set -ueEo pipefail
  4.  
  5. # lineno[, msg]
  6. function die() {
  7. local line=$1
  8. local msg=${2:-command failed}
  9. local supplemental=${3:-}
  10. >&2 echo "[ERROR] $SOURCE_FILE:$1 $msg"
  11. if [ ! -z "$supplemental" ]; then
  12. echo "$supplemental" | >&2 sed 's|^| |g'
  13. fi
  14. exit 1
  15. }
  16. trap 'die $LINENO' ERR