X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-clone;fp=id-clone;h=9bb565aefc874cccb3a6aa0a9334b469f672d73b;hb=2ac899da2571d30359093477b1a0126b4c3dc3e6;hp=3f65731ed13315df4de2a91414b8ebdf055cb67e;hpb=839efe6d8548bf2453b282bd49cf1deca4ad079f;p=git-tools-moved-to-github.git 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" )