Use alternative debian repository (via https) for scripts

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

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[@]:-}