X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-clone;h=9bb565aefc874cccb3a6aa0a9334b469f672d73b;hb=edc85c45c79b5e340fb759a273d63590b144f05a;hp=67632ec530f86b9a114a0f01a77bd8e55698bb0e;hpb=ada6661f32cabd6131194e90280d3ed5bba2d635;p=git-tools-moved-to-github.git diff --git a/id-clone b/id-clone index 67632ec..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,11 +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" - +)