Closed lefessan closed 3 years ago
The temporary solution is to use --address=-1:a3dbe7dbda246199d7af8a361b01eb1313cfa2932029b29133f980b7b51d1bcd
for example.
I am not sure if the issue can easily be fixed, it looks like a problem of Cmdliner, the library used to parse command line options.
Another solution could be to add a single-dash option for address, to avoid the extra '=' (but you'd still have to glue the option name with the argument).
Fixed.
The current solution is to preprocess all options and add a 0 in front of -1:, so that -1:XXX becomes 0-1:XXX. This notation is later recognized as the same as -1:XXX.
The following example does not work: