init

2025-07-02 00:07:49 -07:00
commit c208c6b35d
114 changed files with 71862 additions and 0 deletions
--- a/bin/pull_all
+++ b/bin/pull_all
@ -0,0 +1,12 @@
+#!/bin/sh
+for repo in ./*/; do
+  (
+    cd "$repo" || exit
+    git pull
+    cd -
+  ) > /dev/null 2<&1 &
+done
+
+wait
+
+echo "done"