--- apt.orig 2008-04-28 08:56:53.000000000 +0200 +++ apt 2008-04-28 08:57:29.000000000 +0200 @@ -201,9 +201,9 @@ # 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