diff --git a/fetch.xml b/fetch.xml index 4173c5e36..b79a353de 100644 --- a/fetch.xml +++ b/fetch.xml @@ -23,7 +23,16 @@ You may also need to set proxy settings. This can be done by setting the JVM proxy values in the ANT_OPTS environment variables. - + + For example, to set the proxy up in the tcsh shell, the command would be + something like: + + For csh/tcsh: + setenv ANT_OPTS "-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080" + For bash: + export ANT_OPTS="-Dhttp.proxyHost=proxy -Dhttp.proxyPort=8080" + For Windows, set the environment variable in the appropriate dialog box + and open a new console.