Fix another silly mistake.

diff --git a/bookworm/scripts/lib/copy_dirtrees_of_tags.sh b/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
index db5c51569bd1a542c0fe3a95cee2519a235de9d9..c915c1478792688767ce1a25029529a4131dd815 100644 (file)
--- a/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
+++ b/bookworm/scripts/lib/copy_dirtrees_of_tags.sh
@@ -50,7 +50,7 @@ copy_dirtrees_of_tags() {
     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/') || true
         if [ "${N_MATCHES}" -gt 0 ]; then
             local USERNAME
             USERNAME=$(echo "${PATH__}" | sed -E 's/^\/home\///' | sed -E 's/\/.*//')