diff options
| author | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-11-26 16:05:42 +0100 |
|---|---|---|
| committer | HimbeerserverDE <himbeerserverde@gmail.com> | 2023-11-26 16:05:42 +0100 |
| commit | 657a084f6ebfb9df8cc5f188a8c3e766e5ed9e83 (patch) | |
| tree | d6d83388d2f75eef1696f233e4188d0d3b5c681f /doc/config.md | |
| parent | ab0b8a57a3a48552317b0fc0de263a1426e0ff37 (diff) | |
build plugins from source against correct version automatically
Can be disabled in the config using the NoAutoPlugins option. Only applies to subdirectories, regular binary .so plugins can still be loaded as before.
Diffstat (limited to 'doc/config.md')
| -rw-r--r-- | doc/config.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/config.md b/doc/config.md index af194fa..cfdf939 100644 --- a/doc/config.md +++ b/doc/config.md @@ -31,6 +31,13 @@ Default: false Description: Plugins are not loaded if this is true. ``` +> `NoAutoPlugins` +``` +Type: bool +Default: false +Description: Plugin subdirectories are not built automatically if this is true. +``` + > `CmdPrefix` ``` Type: string |