Задаване на JVM прокси свойства на инсталатора с JAVA_TOOL_OPTIONS
Използвайте JAVA_TOOL_OPTIONS, когато стартерът на Java инсталатор не предоставя удобно място за JVM прокси аргументи.
Когато собственият стартер на инсталатора създава JVM, без да показва команден ред java, задайте тази среда, преди да стартирате инсталатора от тази PowerShell сесия:
$env:JAVA_TOOL_OPTIONS = '-Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example -Dhttps.proxyPort=8080'Името е точно JAVA_TOOL_OPTIONS. При разрешена инсталация на публични артефакти без прокси удостоверяване адрес от списъка с HTTP прокси може да замени името на хоста и отделните портове; и двата протокола за местоназначение могат да използват един посредник. Това работи за HTTP стек, който използва тези JVM прокси свойства.
Виртуалната машина чете променливата чрез JNI_CreateJavaVM. Тя приема VM опции като -D, а не инструкции само за стартера, като избор на -jar. Променлива с име JAVA_OPTS е по-скоро скриптова конвенция и работи само там, където стартерът я чете.
Дръжте замяната локална за предвидената инсталационна сесия. Вече работещ GUI процес или стартиране от друг родител не получава автоматично обновената среда на текущата обвивка.