From 2fc1bd114a588fb52c3334c5078350862075e5dc Mon Sep 17 00:00:00 2001
From: Pirmin Fix <pirmin@42degreesoffreedom.com>
Date: Wed, 13 Apr 2011 07:37:30 -0700
Subject: [PATCH] Fixed zsh error.

It seems that when using zsh as shell and having no https proxy, the following error happened
[zitpcx16106] ~ $ lein repl
/afs/desy.de/user/p/pfix/local/bin/lein: line 86: [: !=: unary operator expected
REPL started; server listening on localhost:48076.
user=>

This change should fix that.
---
 bin/lein | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100755 => 100644 bin/lein

diff --git a/bin/lein b/bin/lein
old mode 100755
new mode 100644
index e47ad61f..d35a30dc
--- a/bin/lein
+++ b/bin/lein
@@ -83,7 +83,7 @@ fi
 
 HTTP_CLIENT="wget --no-check-certificate -O"
 if type -p curl >/dev/null 2>&1; then
-    if [ $https_proxy != "" ]; then
+    if [ "$https_proxy" != "" ]; then
         CURL_PROXY="-x $https_proxy"
     fi
     HTTP_CLIENT="curl $CURL_PROXY --insecure -f -L -o"