From 4bfb0d4494fcc33474c1a32ca9529e3cd858d8b7 Mon Sep 17 00:00:00 2001 From: ed Date: Mon, 19 Jul 2021 23:46:44 +0200 Subject: [PATCH] notes --- docs/notes.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/notes.sh b/docs/notes.sh index 8d8cc333..a29314a7 100644 --- a/docs/notes.sh +++ b/docs/notes.sh @@ -166,7 +166,10 @@ dbg.asyncStore.pendingBreakpoints = {} about:config >> devtools.debugger.prefs-schema-version = -1 # determine server version -git pull; git reset --hard origin/HEAD && git log --format=format:"%H %ai %d" --decorate=full > ../revs && cat ../{util,browser}.js >../vr && cat ../revs | while read -r rev extra; do (git reset --hard $rev >/dev/null 2>/dev/null && dsz=$(cat copyparty/web/{util,browser}.js >../vg 2>/dev/null && diff -wNarU0 ../{vg,vr} | wc -c) && printf '%s %6s %s\n' "$rev" $dsz "$extra") ../revs && cat ../{util,browser,up2k}.js >../vr && cat ../revs | while read -r rev extra; do (git reset --hard $rev >/dev/null 2>/dev/null && dsz=$(cat copyparty/web/{util,browser,up2k}.js >../vg 2>/dev/null && diff -wNarU0 ../{vg,vr} | wc -c) && printf '%s %6s %s\n' "$rev" $dsz "$extra")