|
/pluginmanager/options/mainRepo
|
java.lang.String
|
https://grogra.gitlab.io/groimp-utils/plugin_web_explorer/plugins.json
|
Main repository (where to look for plugins)
|
|
/pluginmanager/options/userpluginpath
|
java.lang.String
|
|
User plugins path (where to install your plugins)
|
|
/pluginmanager/options/useCache
|
java.lang.Boolean
|
true
|
Use cache
|
|
/pluginmanager/options/sourceCachePath
|
java.lang.String
|
|
Path for caching plugin repo
|
|
/pluginmanager/options/pluginCachePath
|
java.lang.String
|
|
Path for caching plugin’s data
|
|
/pluginmanager/options/userDefinedRepo
|
java.lang.String
|
|
Paths of additional plugin repo (:)
|
|
/pluginmanager/options/deleteAsBlacklist
|
java.lang.Boolean
|
false
|
Blacklist instead of deleting
|
|
/pluginmanager/options/canDeteteRequired
|
java.lang.Boolean
|
false
|
Can delete required plugin (be careful)
|
|
/pluginmanager/options/proxy/proxy.user
|
java.lang.String
|
|
Proxy user name
|
|
/pluginmanager/options/proxy/proxy.password
|
java.lang.String
|
|
Proxy password
|
|
/pluginmanager/options/proxy/proxy.domain
|
java.lang.String
|
|
Proxy Domain
|
|
/pluginmanager/options/proxy/http.proxy.host
|
java.lang.String
|
|
HTTP host
|
|
/pluginmanager/options/proxy/http.proxy.port
|
java.lang.String
|
|
HTTP port
|
|
/pluginmanager/options/proxy/https.proxy.host
|
java.lang.String
|
|
HTTPS host
|
|
/pluginmanager/options/proxy/https.proxy.port
|
java.lang.String
|
|
HTTPS port
|