-
Notifications
You must be signed in to change notification settings - Fork 382
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
[API change] New way to create command line options. #572
[API change] New way to create command line options. #572
Conversation
looks good to me together with #569. From my side we could agree on making this the new default api. |
Co-Authored-By: Rüdiger Busche <ruedigerbusche@web.de>
Interface looks good to me. The only thing I am unsure about is how to handle default commandline options. Currently you are using |
@Qwlouse good point. Let me change that. |
@Qwlouse I added |
@Qwlouse Are you ok with the new implementation? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks very good, but I would add some validation to the CLI options to catch errors early and provide an informative error message.
I added the correctness checks. One last look maybe before we can merge? |
Co-Authored-By: Rüdiger Busche <ruedigerbusche@web.de>
Co-Authored-By: Rüdiger Busche <ruedigerbusche@web.de>
This is backward compatible.
Old command line options:
New way (borrowed from the
click
API, intuitive for people who have used it):