mirror of
https://github.com/Pmodules/Pmodules.git
synced 2026-06-24 16:47:58 +02:00
modulecmd: save environment after unloading a module
(cherry picked from commit 9a0d55ed85)
This commit is contained in:
@@ -642,6 +642,7 @@ subcommand_unload() {
|
||||
PMODULES_HOME=${saved_home}
|
||||
export_env 'PMODULES_HOME'
|
||||
fi
|
||||
g_env_must_be_saved='yes'
|
||||
}
|
||||
|
||||
##############################################################################
|
||||
|
||||
Reference in New Issue
Block a user