proxy ant wget
WGET proxy
wget -e http-proxy=10.3.1.6:8080 --proxy=on -c http://zlib.net/zlib-1.2.8.tar.gz
ant proxy
export ANT_OPTS="-Dhttp.proxyHost=10.3.1.6 -Dhttp.proxyPort=8080"
WGET proxy
wget -e http-proxy=10.3.1.6:8080 --proxy=on -c http://zlib.net/zlib-1.2.8.tar.gz
ant proxy
export ANT_OPTS="-Dhttp.proxyHost=10.3.1.6 -Dhttp.proxyPort=8080"