James Bardin be2069ac81 add -plugin-dir option ...

The -plugin-dir option lets the user specify custom search paths for
plugins. This overrides all other plugin search paths, and prevents the
auto-installation of plugins.

We also make sure that the availability of plugins is always checked
during init, even if -get-plugins=false or -plugin-dir is set.

2017-06-15 15:23:16 -04:00

9.1 KiB

Raw Blame History

View Raw