Add Ubuntu Wily Werewolf

[git-tools-moved-to-github.git] / id-clone

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"
-
+)