mondo: better option parsing #7
No reviewers
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
bud/mondo!7
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "dev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Thanks to @bl0nd, who in PR #6 found an issue with
-f|--forceoption. This should now be fixed, and i rewrote the option parsing part. Trying a new way to define options (options[LONGOPTION]=SHORTOPTION:) where shortoption and colon(s) are optional. This makes it much easier to manage options but might have a (very small) negative impact on execution time.I also added long options to the docs.