diff options
| -rwxr-xr-x | install-itzks-workstation | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/install-itzks-workstation b/install-itzks-workstation index 093c172..17df9a1 100755 --- a/install-itzks-workstation +++ b/install-itzks-workstation @@ -57,6 +57,13 @@ export ftp_proxy=http://webcache:3128 # take out the hammer and drop all previous package lists. find /var/lib/apt/lists/ -type f -delete +# 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" + # Run upgrades to ensure the base system is as up-to-date as possible apt-get update 1>/dev/null apt-get upgrade -y @@ -68,13 +75,6 @@ if [ ! -e "/etc/apt/sources.list.d/itzks.list" ]; then echo "deb http://packages.it-zukunft-schule.de/debian stretch-backports main contrib non-free" >> /etc/apt/sources.list.d/itzks.list fi -# 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" - # Get update and add itzks-keyring and itzks-systems-common package apt-get update 1>/dev/null apt_install_if_not --allow-unauthenticated itzks-keyring |