From 8aa75620a0fd8eb6d3fe84fefe9d26800331c2f9 Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Tue, 18 Nov 2025 17:39:31 +0100
Subject: [PATCH] docker: slimmer system update

---
 docker/Dockerfile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index b5360dc..dbb13e6 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -1,9 +1,8 @@
 FROM debian:12.7-slim
 
-# Install required packages TODO combine with next run, so the rm affects this one as well
-RUN apt-get update && apt-get upgrade --yes
-
-RUN DEBIAN_FRONTEND=noninteractive apt-get install --yes --no-install-recommends \
+# Install required packages
+RUN dpkg-reconfigure debconf --frontend=noninteractive && apt-get update && apt-get upgrade --yes && \
+    apt-get install --yes --no-install-recommends \
     git \
     ssh \
     make \