Update .gitpod.Dockerfile

icub-tech-iit · Oct 18, 2023 · 318a375 · 318a375
1 parent 897cc97
commit 318a375
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -1,6 +1,9 @@
 FROM ubuntu:latest
 LABEL org.opencontainers.image.authors="Ugo Pattacini <[email protected]>"
 
+# Increment this variable to force Docker to build the image for the sections below w/o relying on cache
+ENV INVALIDATE_DOCKER_CACHE_ALL=0
+
 ENV DEBIAN_FRONTEND=noninteractive
 
 RUN apt update && \