Differences

This shows you the differences between two versions of the page.

--- additional-functionality:proxy [2025/02/17 17:35] – [Command line] gaetan
+++ additional-functionality:proxy [2025/02/17 17:44] (current) – [Options] gaetan
@@ Line 20: / Line 20: @@
 The proxy can be set up from the command line: ([[:user-guide:command-line-arguments|GroIMP arguments]] in the command line happens AFTER the .jar)
-  * ''--proxy.user=XX''
+  * ''%%--proxy.user=XX%%''
-  * ''--proxy.password=XX''
+  * ''%%--proxy.password=XX%%''
-  * ''--proxy.domain=XX''
+  * ''%%--proxy.domain=XX%%''
-  * ''--http.proxy.host=XX''
+  * ''%%--http.proxy.host=XX%%''
-  * ''--http.proxy.port=XX''
+  * ''%%--http.proxy.port=XX%%''
-  * ''--https.proxy.host=XX''
+  * ''%%--https.proxy.host=XX%%''
-  * ''--https.proxy.port=XX''
+  * ''%%--https.proxy.port=XX%%''
-**Note: there are TWO - **
 ====== Options ======
 {{:additional-functionality:proxy_options.png?400|Unordered List Item}}
+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:
+{{:additional-functionality:reloadhttp.png?400|}}