From 0ff303efc2490f0a67a8e7fc1098c36b913a5f5f Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes.fr>
Date: Thu, 23 Jul 2026 13:29:23 +0200
Subject: [PATCH] fix: Change ownership of destination folder

The "old_users" folders in users' home and work could be created with
root owner instead of the intended user.
---
 clean_up_accounts.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/clean_up_accounts.sh b/clean_up_accounts.sh
index 7d02921..703796d 100755
--- a/clean_up_accounts.sh
+++ b/clean_up_accounts.sh
@@ -156,8 +156,10 @@ move_folder() {
     supervisor_group=$(id -gn $supervisor)
     # Change ownership
     chown -R $supervisor:$supervisor_group "$src"
-    # Create dir
+    # Create destination folder if needed
     mkdir -p "$dest"
+    # Change ownership of destination (always done)
+    chown $supervisor:$supervisor_group "$dest"
     # Move it
     mv "$src" "$dest"
 }