diff options
-rwxr-xr-x | tools/win-setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/win-setup.sh b/tools/win-setup.sh index fae0bf6336..286735cb30 100755 --- a/tools/win-setup.sh +++ b/tools/win-setup.sh @@ -55,7 +55,8 @@ find_proxy() { # ...and wget can't fetch two registry keys because...? proxy_enabled=`regtool get /HKCU/Software/Microsoft/Windows/CurrentVersion/Internet\ Settings/ProxyEnable 2>/dev/null` -echo "proxy_enabled is $proxy_enabled" +echo "proxy_enabled is:" +echo "$proxy_enabled" | od -bc if [ -n "$proxy_enabled" -a "$proxy_enabled" -ne 0 ] ; then export http_proxy=`regtool get /HKCU/Software/Microsoft/Windows/CurrentVersion/Internet\ Settings/ProxyServer 2>/dev/null` echo "Using Internet Explorer proxy settings." |