From 9e6b9ceb29a6243efb8c78c9b2028f55b93d5291 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Mon, 26 Feb 2018 11:24:04 +0100 Subject: APT: Use ftp.de.debian.org for now, while httpredir.debian.org behaves in a problematic way. --- install-itzks-workstation | 8 ++++++-- 1 file 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 -- cgit v1.2.3