Issettja l-proprjetajiet tal-proxy JVM tal-installer b'JAVA_TOOL_OPTIONS

Meta l-lancer nattiv ta' installer joħloq JVM mingħajr ma jesponi linja tal-kmand java, issettja dan l-ambjent qabel ma tibda l-installer minn dik is-sessjoni PowerShell:

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

L-isem huwa eżattament JAVA_TOOL_OPTIONS. Għal installazzjoni permessa ta' artefatti pubbliċi mingħajr awtentikazzjoni tal-proxy, indirizz mill-lista tal-proxy HTTP jista' jissostitwixxi l-isem tal-host u l-portijiet separati; iż-żewġ protokolli tad-destinazzjoni jistgħu jużaw intermedjarju wieħed. Dan jaħdem għal stakk HTTP li jikkonsma dawk il-proprjetajiet tal-proxy JVM.

Il-VM taqra l-varjabbli permezz ta' JNI_CreateJavaVM. Hija taċċetta għażliet tal-VM bħal -D, mhux struzzjonijiet biss għall-lancer bħall-għażla ta' -jar. Varjabbli msejħa JAVA_OPTS minflok hija konvenzjoni tal-iskript u taħdem biss fejn il-lancer jaqraha.

Żomm is-sostituzzjoni lokali għas-sessjoni tal-installazzjoni maħsuba. Proċess GUI li diġà qed jaħdem jew tnedija minn ġenitur ieħor ma jirċevix awtomatikament l-ambjent aġġornat tal-qoxra attwali.