Closed ScottBailey closed 1 year ago
Currently, dune --start <node> --config <path> could be better.
dune --start <node> --config <path>
--help reports must be a path containing config.ini. But code accepts either that OR a path to a config.ini.
--help
config.ini
As an enhancement, we should accept either a path containing config.ini OE a path to a file with the extension .ini.
.ini
Currently,
dune --start <node> --config <path>
could be better.--help
reportsconfig.ini
. But code accepts either that OR a path to aconfig.ini
.As an enhancement, we should accept either a path containing
config.ini
OE a path to a file with the extension.ini
.