1 2 3 4 5 6 7 8 9 10 11 12 13
declare -rg MYPID=$$ perror() { echo "[ERROR] *" "$@" [ "$$" != "$MYPID" ] && kill "$MYPID" exit 1 } pwarning() { echo "[WARNING] *" "$@" }