Change infrastructure details

2026-05-05 09:46:24 +02:00
parent 4d7fca584d
commit 5db9c48a76
1 changed files with 1 additions and 1 deletions
--- a/scripts/ci/bootstrap-apt.sh
+++ b/scripts/ci/bootstrap-apt.sh
@@ -4,8 +4,8 @@ set -euo pipefail

 export DEBIAN_FRONTEND=noninteractive

+printf 'Acquire::http::Proxy "http://cbrapt01.lan.cyber.gent:3142";";\n' >/etc/apt/apt.conf.d/80proxy
 apt-get update
-printf 'Acquire::http::Proxy "http://10.64.44.6:3142";\n' >/etc/apt/apt.conf.d/80proxy
 apt-get upgrade -y
 apt-get install -y --no-install-recommends build-essential
 apt-get install -y --no-install-recommends software-properties-common