projects
/
git-tools-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4d1d642
)
Remove wrong error message from id-clone script
author
Heikki Levanto
<heikki@indexdata.dk>
Wed, 14 Oct 2015 08:35:00 +0000
(10:35 +0200)
committer
Heikki Levanto
<heikki@indexdata.dk>
Wed, 14 Oct 2015 08:35:00 +0000
(10:35 +0200)
id-clone
patch
|
blob
|
history
diff --git
a/id-clone
b/id-clone
index
67632ec
..
3f65731
100755
(executable)
--- a/
id-clone
+++ b/
id-clone
@@
-18,6
+18,8
@@
URL="ssh://git.indexdata.com:/home/git"
echo "Cloning $URL/pub/$PROJ"
git clone "$URL/pub/$PROJ"
-)
+) ||
+(
+ echo
echo "Could not check out $PROJ"
-
+)