diff options
Diffstat (limited to 'common.sh')
-rwxr-xr-x | common.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/common.sh b/common.sh new file mode 100755 index 0000000..315a6a0 --- /dev/null +++ b/common.sh @@ -0,0 +1,24 @@ +#!/bin/sh + +renice 15 $$ +ionice -c 3 -p $$ + +cmd() { + while :; do + printf '[*] ' + printf '%s ' "$@" + echo + if "$@"; then + break + else + printf "\"%s\" exited $?, dropping to shell... Exit 0 to retry, 2 to ignore, 3 to abort.\n" "$*" + $SHELL + case $? in + 2) break ;; + 3) exit 3 ;; + esac + fi + done +} + +trap : INT |