显然,在 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 进程出现了一堆参数,但我不确定它从哪里读取这些参数。