From: martin f. krafft <madduck@madduck.net>
Date: Sat, 10 May 2008 09:36:36 +0000 (+0100)
Subject: work around zsh 4.3.2 bug
X-Git-Url: https://git.madduck.net/etc/mrsetup.git/commitdiff_plain/ec5437d15c1d16d6186c13c1af04f43f0183fd4e

work around zsh 4.3.2 bug
---

diff --git a/mrsetup b/mrsetup
index b326471..e378248 100755
--- a/mrsetup
+++ b/mrsetup
@@ -98,7 +98,7 @@ else
   ssh $MY_GIT_SERVER "
     GIT_DIR=${MY_ACCOUNT_GIT_REPO} git --bare init
     echo 'account setup for $MY_ACCOUNT'
-    "
+    " </dev/null
   echo I: setting up local git repository...
   git init
   git remote add origin $MY_ACCOUNT_REPO_URL