diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-02-26 11:24:04 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-02-26 11:24:04 +0100 |
| commit | 9e6b9ceb29a6243efb8c78c9b2028f55b93d5291 (patch) | |
| tree | a9bd48909925793d2cfe0735b29ac8a6e79c0a82 | |
| parent | e0413089bdf3ddf423c0f6a7e8a2b82dba3ee222 (diff) | |
| download | itzks-install-script-9e6b9ceb29a6243efb8c78c9b2028f55b93d5291.tar.gz itzks-install-script-9e6b9ceb29a6243efb8c78c9b2028f55b93d5291.tar.bz2 itzks-install-script-9e6b9ceb29a6243efb8c78c9b2028f55b93d5291.zip | |
APT: Use ftp.de.debian.org for now, while httpredir.debian.org behaves in a problematic way.
| -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 |