diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-02-20 22:05:24 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-02-20 22:05:24 +0100 |
| commit | 1fdd4ac46faf85127aa923ef16220f8951f3f182 (patch) | |
| tree | 6678283e26c12021a1c5d640204fa4962186e668 /debian/apt.cron.daily | |
| parent | 1bc5d775b911e64e2f1e9e12539496ce13dd0945 (diff) | |
* debian/apt.cron.daily:
- use admin user proxy settings
Diffstat (limited to 'debian/apt.cron.daily')
| -rw-r--r-- | debian/apt.cron.daily | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/apt.cron.daily b/debian/apt.cron.daily index d1ee08a5c..1b54cdf1c 100644 --- a/debian/apt.cron.daily +++ b/debian/apt.cron.daily @@ -179,6 +179,16 @@ if ! apt-get check -q -q 2>/dev/null; then exit 1 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 + 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) + if [ "$use" = "true" ] && [ -n "$host" ] && [ -n "$port" ]; then + export http_proxy="http://$host:$port/" + fi +fi UPDATE_STAMP=/var/lib/apt/periodic/update-stamp if check_stamp $UPDATE_STAMP $UpdateInterval; then |