diff options
author | Xavier Delaruelle <xavier.delaruelle@cea.fr> | 2023-06-13 10:29:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-13 10:29:11 +0200 |
commit | 746eaaf01ac824caa9649b368249b5a6ebdb2311 (patch) | |
tree | a4b22c28b424d63e63cf3530df9f5c5b9dbb2490 /etc | |
parent | bd2f78ae9a0a27a72e4476c08e2587262e8d8efd (diff) | |
download | spack-746eaaf01ac824caa9649b368249b5a6ebdb2311.tar.gz spack-746eaaf01ac824caa9649b368249b5a6ebdb2311.tar.bz2 spack-746eaaf01ac824caa9649b368249b5a6ebdb2311.tar.xz spack-746eaaf01ac824caa9649b368249b5a6ebdb2311.zip |
modules: append trailing delimiter to MANPATH when set (#36678)
Update modulefile templates to append a trailing delimiter to MANPATH
environment variable, if the modulefile sets it.
With a trailing delimiter at ends of MANPATH's value, man will search
the system man pages after searching the specific paths set.
Using append-path/append_path to add this element, the module tool
ensures it is appended only once. When modulefile is unloaded, the
number of append attempt is decreased, thus the trailing delimiter is
removed only if this number equals 0.
Disclaimer: no path element should be appended to MANPATH by generated
modulefiles. It should always be prepended to ensure this variable's
value ends with the trailing delimiter.
Fixes #11355.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions