X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-clone;h=9bb565aefc874cccb3a6aa0a9334b469f672d73b;hb=9f9ba41e6c3300e9c129b1e26037c1f749f56773;hp=3f65731ed13315df4de2a91414b8ebdf055cb67e;hpb=01ec9f50b77b2a87d9bb30ce089df38978660ebd;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" )