diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-01-30 23:08:00 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-01-30 23:08:00 +0100 |
| commit | 785d658d8d6d2f948ed0c6c1fe24d97bb60fca7c (patch) | |
| tree | 75b98921e2cfe8514971feafaa017e376b825feb /install-itzks-workstation | |
| parent | e16a66f07178afeed0c2df8b14e59899e1d42b1e (diff) | |
| download | itzks-install-script-785d658d8d6d2f948ed0c6c1fe24d97bb60fca7c.tar.gz itzks-install-script-785d658d8d6d2f948ed0c6c1fe24d97bb60fca7c.tar.bz2 itzks-install-script-785d658d8d6d2f948ed0c6c1fe24d97bb60fca7c.zip | |
We don't want to use Debian's old redirector service, but the new one...
Diffstat (limited to 'install-itzks-workstation')
| -rw-r--r-- | install-itzks-workstation | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/install-itzks-workstation b/install-itzks-workstation index 883006a..76ab903 100644 --- a/install-itzks-workstation +++ b/install-itzks-workstation @@ -34,6 +34,9 @@ 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" + # Get update and add itzks-keyring and itzks-systems-common package apt-get update apt-get install itzks-keyring && apt-get update && apt-get install itzks-systems-common && apt-get update |