2 # A simple script to clone a ID git project
3 # because I never remember the long URLs
5 # TODO - Try sling-incubator github
6 # TODO - Refactor with a loop of URLs, exit on the same
9 URL="ssh://git.indexdata.com:/home/git"
10 GITHUB="git@github.com:indexdata"
12 # Try private project first, then public
15 echo "Cloning $URL/private/$PROJ"
16 git clone "$URL/private/$PROJ"
20 echo "That did not work"
23 echo "Cloning $URL/pub/$PROJ"
24 git clone "$URL/pub/$PROJ"
29 echo "That did not work"
32 echo "Trying to clone $GITHUB/$PROJ.git"
33 git clone "git@github.com:indexdata/$PROJ.git"
39 echo "Could not check out $PROJ"