From 5b62191f2697011193a7734c4a6a56e31a665420 Mon Sep 17 00:00:00 2001 From: Karim Manaouil Date: Tue, 26 Nov 2024 13:09:01 +0000 Subject: [PATCH] Dockerfile: update apt sources Debian stretch moved to archive.debian.com, thus the old sources.list is no longer working and the source are no longer reachable. Update apt sources list to point to archive.debian.com that now hosts packages for stretch. --- contrib/build-env/Dockerfile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/contrib/build-env/Dockerfile b/contrib/build-env/Dockerfile index bfeb14cc8..12cb9e5dc 100644 --- a/contrib/build-env/Dockerfile +++ b/contrib/build-env/Dockerfile @@ -6,6 +6,10 @@ FROM debian:9 +RUN echo "deb [trusted=yes] http://archive.debian.org/debian stretch main non-free contrib" > /etc/apt/sources.list +RUN echo "deb-src [trusted=yes] http://archive.debian.org/debian stretch main non-free contrib" >> /etc/apt/sources.list +RUN echo "deb [trusted=yes] http://archive.debian.org/debian-security stretch/updates main non-free contrib" >> /etc/apt/sources.list + # Add initial development packages RUN apt-get update && apt-get install -y \ build-essential stgit u-boot-tools util-linux \