Try also our new github
authorHeikki Levanto <heikki@indexdata.dk>
Wed, 6 Jan 2016 10:57:45 +0000 (11:57 +0100)
committerHeikki Levanto <heikki@indexdata.dk>
Wed, 6 Jan 2016 10:57:45 +0000 (11:57 +0100)
id-clone

index 3f65731..9bb565a 100755 (executable)
--- a/id-clone
+++ b/id-clone
@@ -2,9 +2,12 @@
 # A simple script to clone a ID git project
 # because I never remember the long URLs
 
+# TODO - Try sling-incubator github
+# TODO - Refactor with a loop of URLs, exit on the same
 
 PROJ=$1
 URL="ssh://git.indexdata.com:/home/git"
+GITHUB="git@github.com:indexdata"
 
 # Try private project first, then public
 # 
@@ -13,13 +16,25 @@ URL="ssh://git.indexdata.com:/home/git"
     git clone "$URL/private/$PROJ"
 ) ||
 (
+    echo
     echo "That did not work"
+    echo "======"
     echo
     echo "Cloning $URL/pub/$PROJ"
     git clone "$URL/pub/$PROJ"
 
 ) ||
 (
+    echo
+    echo "That did not work"
+    echo "======"
+    echo
+    echo "Trying to clone $GITHUB/$PROJ.git"
+    git clone "git@github.com:indexdata/$PROJ.git"
+) ||
+(
+    echo 
+    echo "======"
     echo 
     echo "Could not check out $PROJ"
 )