Use full paths when defining files
Describe the bug In the linux world, the full path is usually used, rather than just the part of it before the file extension.
It is strange to use --json --out file.json and to see a file file.json.json appear. In general it is preferable to let the users set themselves the extension. (I could want a file run8272.solution that is a csv or a json for example).
This at least happens in the main gboml command but I suspect the issue is present in other places.
GBOML installation details
- Version: aa39be25
To Reproduce
Run any instance with --json --out out.json
. It creates a file out.json.json
.
Expected behavior
It should create a file out.json
.