From 8253660c2715feaadb55b052ac9efe42f45fd2a5 Mon Sep 17 00:00:00 2001
From: Grische <2787581+grische@users.noreply.github.com>
Date: Thu, 7 Dec 2023 20:16:12 +0100
Subject: [PATCH] dockerfile: do not keep build-time artefacts

(cherry picked from commit bf7acf807abb7a418b21654c84fa1770cf2308e7)
---
 Dockerfile_build | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile_build b/Dockerfile_build
index 023c43cb..0fd29d7e 100644
--- a/Dockerfile_build
+++ b/Dockerfile_build
@@ -1,4 +1,6 @@
 FROM ubuntu:20.04
 
 ADD ./scripts/install_build_dependencies.sh /
-RUN /install_build_dependencies.sh
+RUN /install_build_dependencies.sh \
+    && apt-get clean \
+    && rm -r /var/lib/apt/lists/*