在Ant中设置HTTP代理

参考： http://ant.apache.org/ivy/faq.html

在%ANT_HOME%\bin\ant.bat文件中第2行添加如下代码：

set ANT_OPTS=-Dhttp.proxyHost=myproxyhost -Dhttp.proxyPort=8080 -Dhttp.proxyUser=myproxyusername -Dhttp.proxyPassword=myproxypassword -Dhttps.proxyHost=myproxyhost -Dhttps.proxyPort=8080

注意点:

1) 等号后面的值不需要使用双引号括起来

2）如果还不能连接网路，确认是否遗漏最后两项【-Dhttps.proxyHost】和【-Dhttps.proxyPort】