Setarea proprietăților de proxy JVM ale instalatorului cu JAVA_TOOL_OPTIONS

Când lansatorul nativ al unui instalator creează un JVM fără a expune o linie de comandă java, setați acest mediu înainte de a porni instalatorul din acea sesiune PowerShell:

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

Numele este exact JAVA_TOOL_OPTIONS. Pentru o instalare permisă de artefacte publice fără autentificare de proxy, o adresă din lista de proxy HTTP poate înlocui numele gazdei și porturile separate; ambele protocoale de destinație pot folosi un singur intermediar. Aceasta funcționează pentru o stivă HTTP care consumă acele proprietăți de proxy JVM.

VM-ul citește variabila prin JNI_CreateJavaVM. Acceptă opțiuni VM precum -D, nu instrucțiuni doar pentru lansator precum selectarea -jar. O variabilă numită JAVA_OPTS este în schimb o convenție de script și funcționează doar acolo unde lansatorul o citește.

Păstrați suprascrierea locală pentru sesiunea de instalare dorită. Un proces GUI deja în execuție sau o lansare dintr-un alt părinte nu primește automat mediul actualizat al shell-ului curent.