Defineix les propietats de proxy JVM de l'instal·lador amb JAVA_TOOL_OPTIONS

Quan el llançador natiu d'un instal·lador crea una JVM sense exposar cap línia d'ordres java, defineix aquest entorn abans d'iniciar l'instal·lador des d'aquesta sessió de PowerShell:

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

El nom és exactament JAVA_TOOL_OPTIONS. Per a una instal·lació permesa d'artefactes públics sense autenticació de proxy, una adreça de la llista de proxys HTTP pot substituir el nom d'amfitrió i els ports separats; tots dos protocols de destinació poden usar un sol intermediari. Això funciona per a una pila HTTP que consumeix aquestes propietats de proxy de la JVM.

La VM llegeix la variable mitjançant JNI_CreateJavaVM. Accepta opcions de VM com -D, no instruccions només per al llançador com seleccionar -jar. Una variable anomenada JAVA_OPTS és més aviat una convenció d'script i només funciona on el llançador la llegeix.

Mantén la substitució local a la sessió d'instal·lació prevista. Un procés GUI ja en execució o un llançament des d'un altre pare no reben automàticament l'entorn actualitzat de l'intèrpret actual.