Tweak darcs-all script

If you got darcs by SSH without specifying a username then the script
would break.

1 files changed, 3 insertions, 1 deletions

diff --git a/darcs-all b/darcs-all
index f4642c0ece..65d661215e 100644
--- a/darcs-all
+++ b/darcs-all
@@ -8,9 +8,11 @@ top_dirs="nofib testsuite"
 # based on where this GHC repo came from.
 defaultrepo=`cat _darcs/prefs/defaultrepo`
 case $defaultrepo in
-  http://* | *@*:*)
+  # HTTP or SSH:
+  http://* | *:*)
     defaultrepo_base="`echo $defaultrepo | sed 's!/ghc$!!'`"
     defaultrepo_lib="$defaultrepo_base"/packages;;
+  # Local filesystem (assumes a checked-out tree):
   /*)
     defaultrepo_base="$defaultrepo"
     defaultrepo_lib="$defaultrepo"/libraries;;