#!/bin/bash # 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 # ( echo "Cloning $URL/private/$PROJ" 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" )