From 3adfc218189a304249d3b06b2c7928ebd2c99b51 Mon Sep 17 00:00:00 2001
From: Bernhard Heinloth <heinloth@cs.fau.de>
Date: Tue, 30 May 2023 14:41:09 +0200
Subject: [PATCH] Use alternative debian repository (via https) for scripts
---
tools/generator.sh | 3 +++
tools/testor.sh | 3 +++
2 files changed, 6 insertions(+)
diff --git a/tools/generator.sh b/tools/generator.sh
index 927ec5e..abeea1a 100644
--- a/tools/generator.sh
+++ b/tools/generator.sh
@@ -23,6 +23,9 @@ elif [ -f "/.dockerenv" ] ; then
# Preinit APT
ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime
export DEBIAN_FRONTEND=noninteractive
+ # Use alternative debian repo
+ echo "Acquire { https::Verify-Peer false }" >/etc/apt/apt.conf.d/99verify-peer.conf
+ sed -ie "s|http://deb.debian.org/|https://debian.inf.tu-dresden.de/|" /etc/apt/sources.list
apt-get update
# Setup
diff --git a/tools/testor.sh b/tools/testor.sh
index f3fccb7..448b189 100644
--- a/tools/testor.sh
+++ b/tools/testor.sh
@@ -35,6 +35,9 @@ elif [ -f "/.dockerenv" ] ; then
# Preinit APT
ln -fs /usr/share/zoneinfo/UTC /etc/localtime
export DEBIAN_FRONTEND=noninteractive
+ # Use alternative debian repo
+ echo "Acquire { https::Verify-Peer false }" >/etc/apt/apt.conf.d/99verify-peer.conf
+ sed -ie "s|http://deb.debian.org/|https://debian.inf.tu-dresden.de/|" /etc/apt/sources.list
apt-get update
apt install -y make ${PACKAGES[@]:-}
--
GitLab