どうやらJenkinsでプロキシを設定する方法はありません。 「Jenkinsの管理->プラグインの管理->詳細設定」から利用できるプロキシ設定は、プラグイン専用です。そのため、そこで構成しようとしても、システムのプロパティページにこの構成が表示されません。
プロキシを正常に構成した唯一の方法は、コマンドラインを使用することです。次に例を示します。
Java -Dhttp.proxyHost=<Host> -Dhttp.proxyPort=<port> -Dhttps.proxyHost=<Host> -Dhttps.proxyPort=<port> -DJENKINS_HOME="C:\.jenkins" -jar jenkins.war --httpPort=<port>
しかし、私はJenkinsをWindowsサービスとしてセットアップしており、これらのコマンドラインパラメータをどのように指定できるかわかりません。管理対象のタスクを見ると、Jenkinsプロセスに一連のパラメーターが表示されていますが、どこから読み取ったのかわかりません。