JAVA_TOOL_OPTIONS でインストーラーの JVM プロキシプロパティを設定する

インストーラーのネイティブランチャーが java コマンドラインを公開せずに JVM を作成する場合、その PowerShell セッションからインストーラーを起動する前にこの環境を設定します。

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

名前は正確に JAVA_TOOL_OPTIONS です。プロキシ認証なしで許可された公開アーティファクトのインストールでは、HTTP プロキシ一覧のアドレスがホスト名と個別のポートを置き換えられます。宛先の両プロトコルが 1 つの中間プロキシを使えます。これはこれらの JVM プロキシプロパティを利用する HTTP スタックで機能します。

VM はこの変数を JNI_CreateJavaVM を介して読み取ります。受け付けるのは -D のような VM オプションであり、-jar の選択のようなランチャー専用の指示ではありません。JAVA_OPTS という名前の変数はむしろスクリプトの慣習であり、ランチャーがそれを読む場所でのみ機能します。

上書きは目的のインストールセッションに限定してください。すでに実行中の GUI プロセスや別の親からの起動は、現在のシェルの更新された環境を自動的には受け取りません。