X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=run-repos;fp=run-repos;h=c38b9232fc7fa04ea2a056a25eda164061178766;hb=6b655b7f82a080370305ac6c0b8a8f7d12a4c0af;hp=0000000000000000000000000000000000000000;hpb=5ca7e428c53aca34584a0557ddabea07ddc31194;p=git-scripts.git

diff --git a/run-repos b/run-repos
new file mode 100755
index 0000000..c38b923
--- /dev/null
+++ b/run-repos
@@ -0,0 +1,17 @@
+#! /bin/sh
+
+cd "`dirname \"$0\"`" &&
+prog_dir="`pwd`" &&
+export prog_dir
+
+if [ "$1" = "-v" ]; then
+   verbose=1
+   shift
+fi
+
+cat "$prog_dir"/locate-all.list |
+while read d; do
+   if ! test -d "$d"; then echo "No such dir: $d" >&2; continue; fi
+   if [ "$verbose" = 1 ]; then echo "$d"; fi
+   cd "$d" && "$@" < /dev/tty || exit 1
+done