在Ubuntu上配置Jenkins代理有以下两种常见方法：
/etc/environment
http_proxy
https_proxy
http_proxy="http://proxy_server_ip:proxy_port" https_proxy="http://proxy_server_ip:proxy_port"
保存后执行source /etc/environment使配置生效。
source /etc/environment
