commit 7b70aca37f82ad96edbd6c8ee6ef7c06f307e307 parent 104800f53a62df605e305389900541897a02e66c Author: Antoine Amarilli <a3nm@a3nm.net> Date: Sun, 11 Mar 2018 15:44:18 +0100 oops Diffstat:
fetch-all-git | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/fetch-all-git b/fetch-all-git @@ -11,7 +11,7 @@ cd "$FOLDER" curl 'https://a3nm.net/git.txt' | while read repo do NAME=${repo%.git} - if [ -d $repo ] + if [ ! -d $repo ] then git clone --bare "https://a3nm.net/git/$NAME" "$repo" fi