diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 21:14:54 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 21:19:11 +0100 |
| commit | fc58f104c5ade3a0fb6bf39832dd376467603521 (patch) | |
| tree | 6767650b52d722cccb8895e5ab8bb8dcaec09488 | |
| parent | 35f00a58e20aa6fd1853c91564147ceb0694fb16 (diff) | |
| download | debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.tar.gz debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.tar.bz2 debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.zip | |
scripts/EDU/98-drop-fai-aptproxy: Drop script. It is actually quite recommendable keeping the FAI proxy (it might be optimized for APT package downloading).
| -rwxr-xr-x | fai/config/scripts/EDU/98-drop-fai-aptproxy | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/fai/config/scripts/EDU/98-drop-fai-aptproxy b/fai/config/scripts/EDU/98-drop-fai-aptproxy deleted file mode 100755 index b7b5c77..0000000 --- a/fai/config/scripts/EDU/98-drop-fai-aptproxy +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -# drop the APT http proxy configuration put -# here by FAI. We will use Debian Edu APT -# http proxy configuration... -rm $target/etc/apt/apt.conf.d/02proxy |