|
|
@@ -210,9 +210,9 @@ fi
|
|
|
# set the proxy based on the admin users gconf settings
|
|
|
admin_user=$(getent group admin|cut -d: -f4|cut -d, -f1)
|
|
|
if [ -n "$admin_user" ] && [ -x /usr/bin/sudo ] && [ -z "$http_proxy" ] && [ -x /usr/bin/gconftool ]; then
|
|
|
- use=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/use_http_proxy)
|
|
|
- host=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/host)
|
|
|
- port=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/port)
|
|
|
+ use=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/use_http_proxy 2>/dev/null)
|
|
|
+ host=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/host 2>/dev/null)
|
|
|
+ port=$(sudo -u "$admin_user" gconftool --get /system/http_proxy/port 2>/dev/null)
|
|
|
if [ "$use" = "true" ] && [ -n "$host" ] && [ -n "$port" ]; then
|
|
|
export http_proxy="http://$host:$port/"
|
|
|
fi
|