Настройка свойств прокси 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 или запуск из другого родителя не получает автоматически обновлённое окружение текущей оболочки.