Details
-
Improvement
-
Resolution: Done
-
Trivial - P5
-
None
-
None
-
None
Description
If a user specifies an option in both a config file and the command line, we should issue a warning for each such option and clearly state that the version from the command line is used in preference to the version from the config file.