From 0e20f008382ca6cf00afb64a9d143debfa0e2c89 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bob=20Dr=C3=B6ge?= <b.e.droge@rug.nl>
Date: Tue, 15 Oct 2024 14:00:08 +0200
Subject: [PATCH] individually remove every file of the installation dir

---
 EESSI-remove-software.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/EESSI-remove-software.sh b/EESSI-remove-software.sh
index 98576efcb0..1d38092004 100755
--- a/EESSI-remove-software.sh
+++ b/EESSI-remove-software.sh
@@ -127,7 +127,7 @@ if [ $EUID -eq 0 ]; then
                     app_dir=${app_installprefix}/software/${app}
                     app_module=${app_installprefix}/modules/all/${app}.lua
                     echo_yellow "Removing ${app_dir} and ${app_module}..."
-                    rm -rf ${app_dir}
+                    find ${app_dir} -exec rm -rf {} \;
                     rm -rf ${app_module}
                 done
             else