Fix silliest PATH mistake.

diff --git a/bookworm/scripts/lib/copy_dirtrees_of_tags.sh b/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
index bbd0c4daebf2ea0c18916af40d669bc88e5b4e6c..db5c51569bd1a542c0fe3a95cee2519a235de9d9 100644 (file)
--- a/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
+++ b/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
@@ -47,14 +47,14 @@ copy_dirtrees_of_tags() {
     PATHS_WRITTEN=$(echo "${PATHS_WRITTEN}" | grep -v -E '^ *$')
 
     ## for all paths written into user home directories, chown to respective users
-    local PATH
-    for PATH in ${PATHS_WRITTEN}; do
+    local PATH__
+    for PATH__ in ${PATHS_WRITTEN}; do
         local N_MATCHES
-        N_MATCHES=$(echo "${PATH}" | grep -cE '^/home/')
+        N_MATCHES=$(echo "${PATH__}" | grep -cE '^/home/')
         if [ "${N_MATCHES}" -gt 0 ]; then
             local USERNAME
-            USERNAME=$(echo "${PATH}" | sed -E 's/^\/home\///' | sed -E 's/\/.*//')
-            chown -R "${USERNAME}:${USERNAME}" "${PATH}"
+            USERNAME=$(echo "${PATH__}" | sed -E 's/^\/home\///' | sed -E 's/\/.*//')
+            chown -R "${USERNAME}:${USERNAME}" "${PATH__}"
         fi
     done
 }