It would be helpful to initialize a configuration file with options other than default options. For example, one could expect the following command :
$ seacoral config initialize --files foo.c
to generate a configuration file for foo.c. We could even think about something even more user friendly, asking the user to fill the "important" options when running this command.
This last feature could even be extended to seacoral run itself: when tools are missing, the user could be asked to select one or more.
It would be helpful to initialize a configuration file with options other than default options. For example, one could expect the following command :
to generate a configuration file for
foo.c. We could even think about something even more user friendly, asking the user to fill the "important" options when running this command.This last feature could even be extended to
seacoral runitself: when tools are missing, the user could be asked to select one or more.