Skip to content

Disable module extensions for EnvModules for the moment#4985

Merged
boegel merged 1 commit intoeasybuilders:developfrom
xdelaruelle:envmodules_disable_extension
Aug 19, 2025
Merged

Disable module extensions for EnvModules for the moment#4985
boegel merged 1 commit intoeasybuilders:developfrom
xdelaruelle:envmodules_disable_extension

Conversation

@xdelaruelle
Copy link
Copy Markdown
Contributor

Environment Modules needs to support informational extension to safely handle the module extensions generated by EasyBuild. See envmodules/modules#585.

Until then, it is safer to disable support the module extensions for Environment Modules, otherwise several builds may fail.

Environment Modules needs to support *informational extension* to safely
handle the module extensions generated by EasyBuild. See
envmodules/modules#585.

Until then, it is safer to disable support the module extensions for
Environment Modules, otherwise several builds may fail.

Signed-off-by: Xavier Delaruelle <[email protected]>
Copy link
Copy Markdown
Member

@boegel boegel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@boegel boegel added the change label Aug 19, 2025
@boegel boegel added this to the next release (5.1.2) milestone Aug 19, 2025
@boegel boegel merged commit 1669786 into easybuilders:develop Aug 19, 2025
37 checks passed
@xdelaruelle xdelaruelle deleted the envmodules_disable_extension branch August 19, 2025 19:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants