fix(update)r: on git error, sleep

2023-10-20 08:27:52 +00:00 · 2023-10-20 08:27:52 +00:00 · 9f5eeebc23
commit 9f5eeebc23
parent 55d28230cc
1 changed files with 4 additions and 1 deletions
--- 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