diff options
author | Erich Eckner <git@eckner.net> | 2020-08-27 22:32:25 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-08-27 22:32:25 +0200 |
commit | f13ed2b2951ce6ebd40dd30ef13bd9f8c3f7846d (patch) | |
tree | f2edddc5cdb2b0daacc7e530e59146938706bd3b | |
parent | 91baa7be4ce9e703d40d42deb46de1b34b0dd9bf (diff) | |
download | update-all-f13ed2b2951ce6ebd40dd30ef13bd9f8c3f7846d.tar.xz |
update-all: sleep 1 upto 10 seconds
-rw-r--r-- | update-all.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/update-all.in b/update-all.in index e5412d7..7b33884 100644 --- a/update-all.in +++ b/update-all.in @@ -23,12 +23,16 @@ if [ "$#" -eq 3 ]; then cmd="${cmd} update-me" case "$3" in 'c') - while sleep 1; do + delay=1 + while sleep ${delay}; do ${cmd} -c </dev/null err=$? if [ "${err}" -ne 1 ]; then break fi + if [ ${delay} -lt 10 ]; then + delay=$((delay+1)) + fi done ;; 's') |