Impostare le proprietà proxy JVM dell'installer con JAVA_TOOL_OPTIONS

Quando il launcher nativo di un installer crea una JVM senza esporre una riga di comando java, impostate questo ambiente prima di avviare l'installer da quella sessione PowerShell:

$env:JAVA_TOOL_OPTIONS = '-Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example -Dhttps.proxyPort=8080'

Il nome è esattamente JAVA_TOOL_OPTIONS. Per un'installazione consentita di artefatti pubblici senza autenticazione proxy, un indirizzo dalla lista di proxy HTTP può sostituire il nome host e le porte separate; entrambi i protocolli di destinazione possono usare un solo intermediario. Funziona per uno stack HTTP che consuma queste proprietà proxy della JVM.

La VM legge la variabile tramite JNI_CreateJavaVM. Accetta opzioni VM come -D, non istruzioni riservate al launcher come selezionare -jar. Una variabile chiamata JAVA_OPTS è invece una convenzione di script e funziona solo dove il launcher la legge.

Mantenete l'override locale alla sessione di installazione prevista. Un processo GUI già in esecuzione o un avvio da un altro padre non ricevono automaticamente l'ambiente aggiornato della shell corrente.