From 2ac899da2571d30359093477b1a0126b4c3dc3e6 Mon Sep 17 00:00:00 2001 From: Heikki Levanto Date: Wed, 6 Jan 2016 11:57:45 +0100 Subject: [PATCH] Try also our new github --- id-clone | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/id-clone b/id-clone index 3f65731..9bb565a 100755 --- 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" ) -- 1.7.10.4