Table of Contents
Plugin manager Proxy
It is possible to use a proxy for the plugin manager http requests.
Proxy parameters
The proxy uses the following parameters:
- User name
- password
- Domain
- Host: either HTTP or HTTPS
- Port: either HTTP or HTTPS
The proxy test first if the HTTPS host and ports are set. If not it tries the HTTP ones.
The proxy takes the command line arguments as value first. If they are not set, it takes the options.
Command line
The proxy can be set up from the command line: (GroIMP arguments in the command line happens AFTER the .jar)
--proxy.user=XX--proxy.password=XX--proxy.domain=XX--http.proxy.host=XX--http.proxy.port=XX--https.proxy.host=XX--https.proxy.port=XX
Options
The parameters can be set in the options. It makes them persistent between GroIMP executions. Note that if the plugin manager has already been opened the HTTP connection NEEDS to be refreshed.
The http client is automatically refreshed when you restart GroIMP. Or, you can manually refresh it by using the menu command:
