diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-05-31 10:24:05 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-05-31 10:24:05 +0200 |
| commit | 554384f28ebee7ad8418a5234b608e5ee66f29d3 (patch) | |
| tree | 9a1b190f508e1e364e92e45f09c1fa12eb9d8f68 /install-itzks-workstation | |
| parent | 318547f064edc7259e57fa1f51a2850484c3af98 (diff) | |
| download | itzks-install-script-554384f28ebee7ad8418a5234b608e5ee66f29d3.tar.gz itzks-install-script-554384f28ebee7ad8418a5234b608e5ee66f29d3.tar.bz2 itzks-install-script-554384f28ebee7ad8418a5234b608e5ee66f29d3.zip | |
APT: Manipulate APT sources.list files of default installation before apt-upgrading.
Diffstat (limited to 'install-itzks-workstation')
| -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 |