From c413431261ebd758401f4dc5df2ab30400bf8e06 Mon Sep 17 00:00:00 2001
From: Simon Schwitanski <schwitanski@itc.rwth-aachen.de>
Date: Wed, 20 Mar 2024 14:40:32 +0100
Subject: [PATCH] Switch to root user to delete build folder

---
 Dockerfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 474f58b..c962454 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -113,7 +113,9 @@ RUN cd MUST-v${MUST_VERSION}/build && \
     OMPI_MCA_rmaps_base_oversubscribe=true \
     make check-minimal -j8
 
+USER root
 RUN rm -r /build
 
 # Run container as non-privileged user
-WORKDIR /home/user
\ No newline at end of file
+USER user
+WORKDIR /home/user
-- 
GitLab