mybin

commit 104800f53a62df605e305389900541897a02e66c
parent 2c4a2ba910c02887d104e871c4624e0faf8ec002
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 11 Mar 2018 15:43:45 +0100

also fetch new repositories

Diffstat:
fetch-all-git
 | 
12
++++++++++++

1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/fetch-all-git b/fetch-all-git
@@ -6,6 +6,18 @@ set -e
 umask 022
 
 cd "$FOLDER"
+
+# clone missing repositories
+curl 'https://a3nm.net/git.txt' | while read repo
+do
+  NAME=${repo%.git}
+  if [ -d $repo ]
+  then
+    git clone --bare "https://a3nm.net/git/$NAME" "$repo"
+  fi
+done
+
+# update all repositories that I have
 for a in *
 do
   cd "$a"