Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Track the last modified commit hash in parameter files #704

Merged
merged 7 commits into from
Sep 21, 2024

Conversation

abensonca
Copy link
Collaborator

The version element in parameter files is now replaced with a lastModified element that tracks both the time at which the file was last modified, and the git commit hash for which it was intended. At run time, this is now used to check if the parameter file is out of date (i.e. is missing parameter migrations), or if the executable is out of date.

To facilitate this, the parameter migration data is no longer embedded in the parametersMigrate.pl script, but is stored in its own XML file.

The `version` element in parameter files is now replaced with a `lastModified` element that tracks both the time at which the file was last modified, and the `git` commit hash for which it was intended. At run time, this is now used to check if the parameter file is out of date (i.e. is missing parameter migrations), or if the executable is out of date.

To facilitate this, the parameter migration data is no longer embedded in the `parametersMigrate.pl` script, but is stored in its own XML file.
@abensonca abensonca self-assigned this Sep 19, 2024
@abensonca abensonca added enhancement New feature or request parameters labels Sep 19, 2024
Copy link

⚠️ Possible misspelled word 'git2' in file 'source/utility.input_parameters.F90'

Copy link

⚠️ Possible misspelled word 'git2' in file 'source/utility.input_parameters.F90'

Copy link

⚠️ Possible misspelled word 'git2' in file 'source/utility.input_parameters.F90'

Copy link

⚠️ Possible misspelled word 'git2' in file 'source/utility.input_parameters.F90'

Copy link

⚠️ Possible misspelled word 'git2' in file 'source/utility.input_parameters.F90'

@abensonca abensonca added this pull request to the merge queue Sep 21, 2024
Merged via the queue into master with commit b3ca016 Sep 21, 2024
287 checks passed
@abensonca abensonca deleted the featParametersLastModified branch September 21, 2024 05:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request parameters
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant