diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-08-30 10:13:09 +0200 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-08-30 10:13:09 +0200 |
commit | 6c1cc23f1196aec73c9ac917f2c58936b0d8bf58 (patch) | |
tree | acc12bf5f5899e2d5c534320cc5d81ec4d62668f /install-itzks-workstation | |
parent | 2e9aa86e05bbd6c8906deebec43ffaf6f32663e6 (diff) | |
download | itzks-install-script-6c1cc23f1196aec73c9ac917f2c58936b0d8bf58.tar.gz itzks-install-script-6c1cc23f1196aec73c9ac917f2c58936b0d8bf58.tar.bz2 itzks-install-script-6c1cc23f1196aec73c9ac917f2c58936b0d8bf58.zip |
Run update-proxy-from-wpad from debian-edu-config, if present, to fix possibly flawed proxy settings in /etc/apt/apt.conf.
Diffstat (limited to 'install-itzks-workstation')
-rwxr-xr-x | install-itzks-workstation | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/install-itzks-workstation b/install-itzks-workstation index a3ebb81..2f061a8 100755 --- a/install-itzks-workstation +++ b/install-itzks-workstation @@ -126,6 +126,10 @@ export https_proxy=http://webcache:3128 export http_proxy=http://webcache:3128 export ftp_proxy=http://webcache:3128 +if [ -e /usr/share/debian-edu-config/tools/update-proxy-from-wpad ]; then + /usr/share/debian-edu-config/tools/update-proxy-from-wpad +fi + # take out the hammer and drop all previous package lists. find /var/lib/apt/lists/ -type f -delete |