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"