From 228acfa8915ef94654266b71f9aa8822b411bebd Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 30 Aug 2023 09:08:44 -0700
Subject: add loop-rebuild script

---
 loop-rebuild | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 loop-rebuild

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
-- 
cgit v1.2.3