From ad9601b521b3cb8e131c2a9952117ba27d6af820 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Sep 2021 16:29:10 +0200
Subject: [PATCH] docker: simgrid:stable should be built on top of debian:11

Not doing so leads to difficulties when debian:testing points to
another version.
---
 tools/docker/Dockerfile.stable | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/docker/Dockerfile.stable b/tools/docker/Dockerfile.stable
index f8e4e636a9..59c45a3d2b 100644
--- a/tools/docker/Dockerfile.stable
+++ b/tools/docker/Dockerfile.stable
@@ -1,12 +1,12 @@
-# Base image 
-FROM debian:testing
+# Base image: use a named release to avoid names clashes when calling apt upgrade on the resulting image
+FROM debian:11 #  Bullseye, release 2021-08-14
 
 ARG DLURL
 
 # - Install SimGrid's dependencies
 # - Compile and install SimGrid itself
 RUN echo "DOWNLOAD_URL: ${DLURL}" && \
-    apt-get --allow-releaseinfo-change update && apt upgrade -y && apt install -y wget && \
+    apt-get update && apt upgrade -y && apt install -y wget && \
     mkdir /source && cd /source && \
     wget https://framagit.org/${DLURL} && \
     tar xf simgrid-* && rm simgrid-*tar.gz && \
-- 
2.20.1