Pmodules:

- use the term 'group' instead of 'family'
- prefix 'PSI_' changed to 'PMODULES_' for several shell vars.
This commit is contained in:
2015-05-06 10:15:55 +02:00
parent 6cbe217bf3
commit c7721ab60d
4 changed files with 36 additions and 35 deletions

View File

@@ -134,22 +134,22 @@ save_env() {
#
declare -x LOADEDMODULES=''
declare -x _LMFILES_=''
declare -x PSI_LOADEDFAMILIES=''
declare -x PMODULES_USED_GROUPS=''
declare -x MODULEPATH=''
for f in ${PSI_DEFAULT_FAMILIES//:/ }; do
for f in ${PMODULES_DEFAULT_GROUPS//:/ }; do
append_path MODULEPATH "${PSI_PREFIX}/${PSI_MODULES_ROOT}/$f"
append_path PSI_LOADEDFAMILIES "${f}"
append_path PMODULES_USED_GROUPS "${f}"
done
declare -x USED_RELEASES=''
for r in ${PSI_DEFAULT_RELEASES//:/ }; do
for r in ${PMODULES_DEFAULT_RELEASES//:/ }; do
append_path USED_RELEASES "${r}"
done
eval $(save_env USED_RELEASES PSI_DEFAULT_RELEASES PSI_DEFAULT_FAMILIES PSI_DEFINED_RELEASES)
eval $(save_env USED_RELEASES PMODULES_DEFAULT_RELEASES PMODULES_DEFAULT_GROUPS PMODULES_DEFINED_RELEASES)
unset USED_RELEASES
unset PSI_DEFAULT_RELEASES
unset PSI_DEFAULT_FAMILIES
unset PSI_DEFINED_RELEASES
unset PMODULES_DEFAULT_RELEASES
unset PMODULES_DEFAULT_GROUPS
unset PMODULES_DEFINED_RELEASES
replace_path PATH "${PMODULES_HOME%/*}/.*"
replace_path MANPATH "${PMODULES_HOME%/*}/.*"