From fc58f104c5ade3a0fb6bf39832dd376467603521 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Tue, 4 Jan 2022 21:14:54 +0100 Subject: 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). --- fai/config/scripts/EDU/98-drop-fai-aptproxy | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 fai/config/scripts/EDU/98-drop-fai-aptproxy 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 -- cgit v1.2.3