Skip to content

Rename easyconfig parameters#4483

Closed
jfgrimm wants to merge 38 commits intoeasybuilders:5.0.xfrom
jfgrimm:rename-easyconfig-parameters
Closed

Rename easyconfig parameters#4483
jfgrimm wants to merge 38 commits intoeasybuilders:5.0.xfrom
jfgrimm:rename-easyconfig-parameters

Conversation

@jfgrimm
Copy link
Copy Markdown
Member

@jfgrimm jfgrimm commented Mar 11, 2024

hard replace of all easyconfig parameters that appear in the framework repo

will definitely need a bit of manual clean up

@jfgrimm jfgrimm added the EasyBuild-5.0 EasyBuild 5.0 label Mar 11, 2024
@jfgrimm jfgrimm added this to the 5.0 milestone Mar 11, 2024
Comment thread easybuild/tools/options.py Outdated
Comment thread easybuild/framework/easyconfig/default.py Outdated
Comment thread easybuild/framework/easyconfig/default.py Outdated
@jfgrimm jfgrimm closed this Apr 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

EasyBuild-5.0 EasyBuild 5.0

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant