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.

Sign up for GitHub

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

Jump to bottom

Add --config-file support #3047

Merged
merged 1 commit into from
Apr 17, 2024
Merged

Add --config-file support #3047

merged 1 commit into from
Apr 17, 2024

Conversation

charliermarsh
Copy link
Member

Summary

Users can now pass a config file on the command line, e.g., with --config-file /path/to/file.py.

@charliermarsh charliermarsh added the configuration Settings and such label Apr 15, 2024
@charliermarsh charliermarsh marked this pull request as ready for review April 15, 2024 23:29
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from 82fccce to ea81e61 Compare April 15, 2024 23:29
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from ea81e61 to f502d89 Compare April 15, 2024 23:34
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from f502d89 to b8ac38e Compare April 15, 2024 23:42
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from b8ac38e to 197902d Compare April 16, 2024 00:25
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from 197902d to 4999c00 Compare April 16, 2024 17:01
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch 3 times, most recently from 83ff1d3 to 312abcb Compare April 17, 2024 00:34
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from 312abcb to e5ea6a4 Compare April 17, 2024 01:23
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from e5ea6a4 to 553d500 Compare April 17, 2024 01:39
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from 553d500 to 1d6caa1 Compare April 17, 2024 02:12
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from 1d6caa1 to e7d0dcc Compare April 17, 2024 02:13
@charliermarsh charliermarsh force-pushed the charlie/workspace-iii branch from e7d0dcc to 9fac143 Compare April 17, 2024 17:15
Base automatically changed from charlie/workspace-iii to main April 17, 2024 17:24
@charliermarsh charliermarsh enabled auto-merge (squash) April 17, 2024 17:27
@charliermarsh charliermarsh merged commit c6e75f8 into main Apr 17, 2024
38 checks passed
@charliermarsh charliermarsh deleted the charlie/workspace-iv branch April 17, 2024 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@konstin konstin konstin approved these changes

@zanieb zanieb zanieb approved these changes

Assignees
No one assigned
Labels
configuration Settings and such
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@charliermarsh @zanieb @konstin