From 5db9c48a767d81c676ee475719dd49e159c8a2b9 Mon Sep 17 00:00:00 2001 From: Yvan Janssens Date: Tue, 5 May 2026 09:46:24 +0200 Subject: [PATCH] Change infrastructure details --- scripts/ci/bootstrap-apt.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci/bootstrap-apt.sh b/scripts/ci/bootstrap-apt.sh index bde8d3f..02bd50e 100755 --- 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