给 Tomcat 设置 Http 代理

我在安装 war 包版本 Jenkins 的时候发现了一个问题，Jenkins 下载插件速度非常地慢，考虑到 Jenkins 是国外的开发者搞的玩意儿，我觉得我需要用代理服务器来加速下载了。

具体方法就是修改 Tomcat 的 bin 目录下的 catalina.sh 文件，增加一行设置，如下：

JAVA_OPTS=$JAVA_OPTS -Dhttp.proxyHost=127.0.0.1 -Dhttp.proxyPort=1087

将代理服务器地址和端口修改成你自己用的即可。