Page MenuHomeGitPull.it

Fix --something=value when you have a default value
Closed, InvalidPublic

Description

Fix --something=value when you have a default value. The default value at the moment overrides the user value.

Event Timeline

valerio.bozzolan created this task.
valerio.bozzolan renamed this task from Fix --something=value with a default value to Fix --something=value when you have a default value.Jun 21 2021, 19:47

Not a bug in my code.

Note that command --something=value FOO is valid while command FOO --something=value it's not. This is an internal PHP feature/bug caused by getopt and I think I should not rewrite getopt from scratch for this.