From ec5437d15c1d16d6186c13c1af04f43f0183fd4e Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Sat, 10 May 2008 10:36:36 +0100
Subject: [PATCH] work around zsh 4.3.2 bug

---
 mrsetup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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