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

Append user exeflags to env exeflags #209

Merged
merged 3 commits into from
Nov 7, 2024
Merged

Conversation

jkrumbiegel
Copy link
Collaborator

Changes the behavior of the QUARTONOTEBOOKRUNNER_EXEFLAGS env variable in conjunction with the exeflags frontmatter variable.

Before, the env variable would only have an effect if no frontmatter variable was specified. Frontmatter exeflags would fully override env exeflags. This is impractical if the env specifies a sysimage to use system-wide but a user wants to change only the number of threads for some notebook.

Therefore, this PR appends the user-specified exeflags to the env-specified ones. This has the effect of merging them as Julia ignores earlier instances of the same flags.

@jkrumbiegel jkrumbiegel changed the title Merge exeflags Append user exeflags to env exeflags Nov 6, 2024
Copy link

codecov bot commented Nov 6, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 51.63%. Comparing base (cbb3269) to head (dedd136).
Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #209      +/-   ##
==========================================
+ Coverage   51.59%   51.63%   +0.03%     
==========================================
  Files          30       30              
  Lines        1285     1286       +1     
==========================================
+ Hits          663      664       +1     
  Misses        622      622              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@MichaelHatherly MichaelHatherly merged commit 6c90394 into main Nov 7, 2024
10 checks passed
@MichaelHatherly MichaelHatherly deleted the jk/merge-exeflags branch November 7, 2024 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants