It is possible to use a proxy for the plugin manager http requests.

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.

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