the shebang to use /bin/bash since we use bash-isms in the script.
git-svn-id: http://anonsvn.wireshark.org/wireshark/trunk@26373
f5534014-38df-0310-8fa8-
9805f1628bb7
-#!/bin/sh
+#!/bin/bash
#
# $Id$
# ...and wget can't fetch two registry keys because...?
proxy_enabled=`regtool get /HKCU/Software/Microsoft/Windows/CurrentVersion/Internet\ Settings/ProxyEnable 2>/dev/null`
if [ -n "$proxy_enabled" -a $proxy_enabled -ne 0 ] ; then
- http_proxy=`regtool get /HKCU/Software/Microsoft/Windows/CurrentVersion/Internet\ Settings/ProxyServer 2>/dev/null`
+ export http_proxy=`regtool get /HKCU/Software/Microsoft/Windows/CurrentVersion/Internet\ Settings/ProxyServer 2>/dev/null`
echo "Using Internet Explorer proxy settings."
fi