diff options
Diffstat (limited to 'install-itzks-workstation')
| -rwxr-xr-x | install-itzks-workstation | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/install-itzks-workstation b/install-itzks-workstation index 79250fc..f931b84 100755 --- a/install-itzks-workstation +++ b/install-itzks-workstation @@ -61,8 +61,12 @@ export https_proxy=http://webcache:3128 export http_proxy=http://webcache:3128 export ftp_proxy=http://webcache:3128 -# We don't want to use Debian's old redirector service, but the new one... -sed -r -i /etc/apt/sources.list -e "s@http.debian.net@httpredir.debian.org@g" +# FIXME: We don't want to use Debian's old redirector service, but the new one... +# The below line is the ideal solution, but it does not work, sometimes the +# redirector URLs fail to produce a Release file. For whatever reason. +#sed -r -i /etc/apt/sources.list -e "s@http.debian.net@httpredir.debian.org@g" +sed -r -i /etc/apt/sources.list -e "s@http.debian.net@ftp.de.debian.org@g" +sed -r -i /etc/apt/sources.list -e "s@httpredir.debian.org@ftp.de.debian.org@g" # take out the hammer and drop all previous package lists. find /var/lib/apt/lists/ -type f -delete |