Docker: try to get apt update to run despite the cache

[simgrid.git] / tools / docker / Dockerfile.tuto-smpi

diff --git a/tools/docker/Dockerfile.tuto-smpi b/tools/docker/Dockerfile.tuto-smpi
index 8afe10a..989fd59 100644 (file)
--- a/tools/docker/Dockerfile.tuto-smpi
+++ b/tools/docker/Dockerfile.tuto-smpi
@@ -1,6 +1,8 @@
 # Base image 
 FROM simgrid/stable
 
+# https://stackoverflow.com/questions/35134713/disable-cache-for-specific-run-commands
+ADD "http://deb.debian.org/debian/dists/testing/Release" skipcache
 RUN apt update && apt -y upgrade
 
 RUN apt install -y sudo && \