From 31216934db159a858b71150e23636c10bed3cb51 Mon Sep 17 00:00:00 2001
From: Omar Siam <Omar.Siam@oeaw.ac.at>
Date: Thu, 18 Jan 2024 21:09:19 +0100
Subject: [PATCH] Fix: do not remove /tmp as a whole, just remove the contents

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 2608f1e..d9d91d5 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -57,7 +57,7 @@ ADD https://www.oxygenxml.com/maven/com/oxygenxml/oxygen-patched-xerces/${XERCES
 RUN apt-get purge -y aptitude apt-utils gdebi curl unzip wget apt-transport-https && \
     apt-get autoremove -y && apt-get clean && \
     rm ${DEB_FILE} nodesource_setup.sh && \
-    rm -r /tmp
+    rm -rf /tmp/*
 
 # setup node app for rendering MEI files to SVG using Verovio Toolkit
 WORKDIR /opt/docker-mei