projects
/
git-tools-moved-to-github.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Can now make deb/rpm with Docker
[git-tools-moved-to-github.git]
/
id-clone
diff --git
a/id-clone
b/id-clone
index
67632ec
..
9bb565a
100755
(executable)
--- 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
# 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"
PROJ=$1
URL="ssh://git.indexdata.com:/home/git"
+GITHUB="git@github.com:indexdata"
# Try private project first, then public
#
# Try private project first, then public
#
@@
-13,11
+16,25
@@
URL="ssh://git.indexdata.com:/home/git"
git clone "$URL/private/$PROJ"
) ||
(
git clone "$URL/private/$PROJ"
) ||
(
+ echo
echo "That did not work"
echo "That did not work"
+ echo "======"
echo
echo "Cloning $URL/pub/$PROJ"
git clone "$URL/pub/$PROJ"
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"
echo "Could not check out $PROJ"
-
+)