From c6ccf379b9f211c2f66202dae2bbaf3b92926f85 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Wed, 25 Apr 2007 12:46:20 +0000
Subject: [PATCH] Tweak darcs-all script If you got darcs by SSH without
 specifying a username then the script would break.

---
 darcs-all |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/darcs-all b/darcs-all
index f4642c0..65d6612 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;;
-- 
1.7.10.4