f053761 ^
7e76df9 ^
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] *" "$@" }