On 27/04/20 14:42, Peter Maydell wrote: > The comment at the top of the file documenting the command line > options needs updating. > > We don't accept --foo=bar for anything else: options either take > no argument, or take an argument as a following (ie space separated) > parameter. It would be more consistent with that to have > "--docker-engine foo" as a separate option from "--docker".
Sure. Paolo