Currently, dune --start --config could be better.
--help reports must be a path containing config.ini. But code accepts either that OR a path to a config.ini.
As an enhancement, we should accept either a path containing config.ini OE a path to a file with the extension .ini.
Currently, dune --start --config could be better.
--help reports must be a path containing config.ini. But code accepts either that OR a path to a config.ini.
As an enhancement, we should accept either a path containing config.ini OE a path to a file with the extension .ini.