对于 csh/tcsh

setenv ANT_OPTS "-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080"

对于 bash

export ANT_OPTS="-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080"

对于 Windows，请在相应的对话框中设置环境变量，然后打开一个新的控制台，或者手动设置

set ANT_OPTS = -Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080