Jaap is right on... here is what you enter at the cmd prompt (substitute your server and port for myproxy:8080): HTTP_proxy=http://myproxy.com:8080