Merge mapping.example
and network.settings
to one generalized settings file
#287
Labels
mapping.example
and network.settings
to one generalized settings file
#287
We should merge these two files to one common settings file (e.g.
config.properties
/settings.properties
). This reduces the number of files and provides us with a file to add more generalized configuration options.Required changes
network.settings
and custom value mapping files with adefault.config
filedefault.config
.-m, --mapping-file
with-z, --config-file
--config-file
, the settings override those in the default config.--config-file
, then use it over all other settings--config-file
, but it does in/config
and it is different from the universal default, then use the setting in/config
.--config-file
and it also does not exist in/config
, then use a hard-coded default value (same default as what is used today).<none>
to indicate that no config file was applied.-z
in the command to repeat the experiment.The text was updated successfully, but these errors were encountered: