From 2cf5a41bac99c6f1edcce6920a62399da9f2c7a4 2020-02-05 10:45:01
From: Gérard Vidal <gerard.vidal@ens-lyon.fr>
Date: 2020-02-05 10:45:01
Subject: [PATCH] Correction 11-apt.sh

---

diff --git a/bootstrap.d/11-apt.sh b/bootstrap.d/11-apt.sh
index b84a2c5..d01ed56 100644
--- a/bootstrap.d/11-apt.sh
+++ b/bootstrap.d/11-apt.sh
@@ -27,12 +27,6 @@ else # BUILD_KERNEL=true
   # Install APT sources.list
   install_readonly files/apt/sources.list "${ETC_DIR}/apt/sources.list"
 
-  # Use specified APT server and release
-  sed -i "s/\/ftp.debian.org\//\/${APT_SERVER}\//" "${ETC_DIR}/apt/sources.list"
-  sed -i "s/ jessie/ ${RELEASE}/" "${ETC_DIR}/apt/sources.list"
-fi
-
-
 # Use specified APT server and release
 sed -i "s/\/ftp.debian.org\//\/${APT_SERVER}\//" "${ETC_DIR}/apt/sources.list"