From e90d9731bcb151fd134b8ac4533d162c402b42c2 Mon Sep 17 00:00:00 2001
From: Markus Vieth <mvieth@techfak.uni-bielefeld.de>
Date: Mon, 3 Aug 2026 17:07:22 +0200
Subject: [PATCH] Reduce docker image size Azure pipelines currently fails
 because 24.04 image is too large. This should make it smaller

---
 .dev/docker/env/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.dev/docker/env/Dockerfile b/.dev/docker/env/Dockerfile
index d06f58f995f..d143a142514 100644
--- a/.dev/docker/env/Dockerfile
+++ b/.dev/docker/env/Dockerfile
@@ -77,7 +77,7 @@ RUN apt-get update \
  && if [ "$(lsb_release -sr)" = "18.04" ]; then \
        apt-get -V install -y nvidia-cuda-toolkit g++-6 ; \
      else \
-       apt-get -V install -y nvidia-cuda-toolkit-gcc ; \
+       apt-get -V --no-install-recommends install -y nvidia-cuda-toolkit-gcc ; \
      fi \
  && rm -rf /var/lib/apt/lists/*