diff options
| -rw-r--r-- | update-me.in | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/update-me.in b/update-me.in index 2ec41e2..2daeb04 100644 --- a/update-me.in +++ b/update-me.in @@ -159,8 +159,16 @@ for cmd in "${cmds[@]}" do eval ${pre} ${cmd} err=$? - if [ ${err} -ne 0 ] - then + while [ ${err} -ne 0 ]; do + >&2 printf '%s (%s): Fehler - nochmal versuchen?\n' "$(hostname)" "${cmd}" + read s + if [ -n "${s}" ]; then + break + fi + eval ${pre} ${cmd} + err=$? + done + if [ ${err} -ne 0 ]; then exit_or_rescue_shell ${err} fi done |