Extra-Opts configuration file location(s)

[Holger Weiß]

* Holger Weiß <holger at zedat.fu-berlin.de> [2014-06-18 10:51]:
> In the upcoming Monitoring Plugins release, the Extra-Opts feature will
> be enabled by default.  See:
> 
> 	https://www.monitoring-plugins.org/doc/extra-opts.html
> 
> The configuration file used by that feature can be specified on the
> command line or via an environment variable.  If neither is done, a list
> of default locations is searched.

And what about these default locations?  Is everyone fine with the
following two path names?

- /usr/local/etc/monitoring-plugins.ini
- /etc/monitoring-plugins.ini

Or shall we also support subdirectories?  E.g.:

- /usr/local/etc/monitoring-plugins/monitoring-plugins.ini
- /etc/monitoring-plugins/monitoring-plugins.ini

Or would be prefer a different file extension (such as ".cfg" or
".conf")?

Holger