scripts

commit 42834325a4c3ea3b1c695cd3976538e928b2aad3
parent c098aa2c7fc45afd7c0244126fb9daf69b3d329c
Author: sin <sin@2f30.org>
Date:   Tue, 26 Aug 2014 16:13:29 +0100

Use curl instead of wget in 2f30-clone-all

Simplify the script in the process.

Diffstat:
M
2f30-clone-all
 | 
11
+++--------

1 file changed, 3 insertions(+), 8 deletions(-)
diff --git a/2f30-clone-all b/2f30-clone-all
@@ -1,10 +1,5 @@
 #!/bin/sh
 
-trap 'rm -f projects; exit 0' 2
-
-wget http://dl.2f30.org/projects -O projects
-
-while read line; do
-	[ ! -d ${line} ] && git clone git@git.2f30.org:${line}
-done < projects
-rm projects
+curl -s http://dl.2f30.org/projects | while read line; do
+	[ ! -d $line ] && git clone git@git.2f30.org:$line
+done