GNU Env Modules and prepend-path

Today I learned that prepend-path doesn’t modify $PATH if the path you want to prepend already exists in the $PATH. See https://modules.readthedocs.io/en/latest/modulefile.html#mfcmd-prepend-path

Mengjuei - Blog