-
Notifications
You must be signed in to change notification settings - Fork 17
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
Wrong default name of html log #711
Comments
This issue is related to #703 |
The current problem can be solved by #713, but a more general fix is needed to solve all similar situations (like #703). Root issue - subparser arguments override main parser arguments with the same name:
The current solution of the root issue - #715, appending the "default" parser. A preliminary investigation shows the possible way to resolve it.
Usage:
Possible CLI help formatting issues can be resolved based on this StackOverflow information - https://stackoverflow.com/a/56595689 |
Currently when using the
-hl
option without any further specification the name of a created file isdefault
(instead of expecteduniversum_log.html
).Need to be expected, fixed and, maybe, covered by regression test
The text was updated successfully, but these errors were encountered: