diff options
Diffstat (limited to 'debian/apt.cron.daily')
| -rw-r--r-- | debian/apt.cron.daily | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/apt.cron.daily b/debian/apt.cron.daily index b0164a576..2f1a59744 100644 --- a/debian/apt.cron.daily +++ b/debian/apt.cron.daily @@ -200,7 +200,7 @@ 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" ]; then +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) |