diff --git a/proto/dumb-updater b/proto/dumb-updater index 9b31c9f..0d7394f 100755 --- a/proto/dumb-updater +++ b/proto/dumb-updater @@ -5,7 +5,10 @@ cd (dirname (status -f))/.. set -l old_hash (git rev-parse HEAD) while true git pull 2>&1 1>/tmp/status-updater-git-output - or break + or begin + sleep 60 + continue + end set new_hash (git rev-parse HEAD) if test $old_hash != $new_hash set old_hash $new_hash