From 460e6624f993326125db94847f6c9aff36ecab1b Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Tue, 4 Jul 2023 17:31:24 +0200 Subject: [PATCH] modulecmd.bash.in: bugfix in search_collection --- Pmodules/modulecmd.bash.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Pmodules/modulecmd.bash.in b/Pmodules/modulecmd.bash.in index 81f5fc7..06d213e 100644 --- a/Pmodules/modulecmd.bash.in +++ b/Pmodules/modulecmd.bash.in @@ -2911,9 +2911,9 @@ search_collection(){ return fi local _dirs2search=( "${UsrCollectionsDir}" ) - local _dir - for _dir in "${UsedOverlays[@]}"; do - _dirs2search+=( "${_dir}" ) + local _ol + for _ol in "${UsedOverlays[@]}"; do + _dirs2search+=( "${OverlayInfo[${_ol}:inst_root]}/collections" ) done for _dir in "${_dirs2search[@]}"; do if [[ -r "${_dir}/${_collection}" ]]; then