Definir as propiedades de proxy JVM do instalador con JAVA_TOOL_OPTIONS

Cando o lanzador nativo dun instalador crea unha JVM sen expoñer unha liña de ordes java, defina este contorno antes de iniciar o instalador desde esa sesión de PowerShell:

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

O nome é exactamente JAVA_TOOL_OPTIONS. Para unha instalación permitida de artefactos públicos sen autenticación de proxy, un enderezo da lista de proxies HTTP pode substituír o nome de host e os portos separados; ambos os protocolos de destino poden usar un único intermediario. Isto funciona para unha pila HTTP que consome esas propiedades de proxy da JVM.

A VM le a variable mediante JNI_CreateJavaVM. Aceita opcións de VM como -D, non instrucións só para o lanzador como seleccionar -jar. Unha variable chamada JAVA_OPTS é máis ben unha convención de scripts e só funciona onde o lanzador a le.

Manteña a substitución local á sesión de instalación prevista. Un proceso GUI xa en execución ou un lanzamento desde outro pai non recibe automaticamente o contorno actualizado da consola actual.