From: Ian Lynagh <igloo@earth.li>
Date: Wed, 25 Apr 2007 12:46:20 +0000 (+0000)
Subject: Tweak darcs-all script
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=c6ccf379b9f211c2f66202dae2bbaf3b92926f85

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

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;;