diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-08-30 09:08:44 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-08-30 09:08:44 -0700 |
commit | 228acfa8915ef94654266b71f9aa8822b411bebd (patch) | |
tree | 88ad85f6702f0e61dc25844a67d29d4823aeb65a | |
parent | d82fdc2e24a21168278717ca45d16dead9259165 (diff) | |
download | git-228acfa8915ef94654266b71f9aa8822b411bebd.tar.gz |
add loop-rebuild script
-rwxr-xr-x | loop-rebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/loop-rebuild b/loop-rebuild new file mode 100755 index 0000000000..c2b94a1dcc --- /dev/null +++ b/loop-rebuild @@ -0,0 +1,25 @@ +#!/bin/sh + +ssleep () { + seconds=$1 + now=$(date "+%s") + sleep $(( ((now + seconds + seconds / 4) / seconds) * seconds - now)) +} + +stamp () { + Meta/V 2>/dev/null | sha1sum +} + +P=previous +O=observed +while : +do + while O=$(stamp) && test "$P" = "$O" + do + ssleep 300 + done + ssleep 30 + time nice -20 Meta/Dothem -j16 --scratch --dash; uptime; date + P=$(stamp) + Meta/V +done |