JVM-Proxy-Eegenschafte vum Installateur mat JAVA_TOOL_OPTIONS setzen
Benotzt JAVA_TOOL_OPTIONS wann de Launcher vun engem Java-Installateur keng bequem Plaz fir JVM-Proxy-Argumenter ubitt.
Wann den native Launcher vun engem Installateur eng JVM erstellt ouni eng java-Kommandolinn ze weisen, setzt dës Ëmwelt, ier dir den Installateur aus där PowerShell-Sessioun start:
$env:JAVA_TOOL_OPTIONS = '-Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example -Dhttps.proxyPort=8080'Den Numm ass genee JAVA_TOOL_OPTIONS. Fir eng erlaabten Installatioun vu ëffentlechen Artefakte ouni Proxy-Authentifizéierung kann eng Adress aus der HTTP-Proxy-Lëscht den Hostnumm an déi getrennte Porten ersetzen; béid Destinatiounsprotokoller kënnen een Intermédiaire benotzen. Dëst funktionéiert fir een HTTP-Stack, deen déi JVM-Proxy-Eegenschafte benotzt.
D'VM liest d'Variabel iwwer JNI_CreateJavaVM. Si akzeptéiert VM-Optiounen wéi -D, net nëmmen Instruktiounen fir de Launcher wéi d'Auswiel vun -jar. Eng Variabel mam Numm JAVA_OPTS ass amplaz eng Skriptkonventioun a funktionéiert nëmmen do, wou de Launcher se liest.
Halt d'Iwwerschreiwung lokal fir déi virgesinn Installatiounssessioun. En GUI-Prozess, deen schonn leeft, oder en Start vun engem aneren Elterendeel kritt d'aktualiséiert Ëmwelt vun der aktueller Shell net automatesch.