REM proxy.bat - set's up proxy environment vars
@echo off
set HTTP_proxy=http://your.company.proxy.com:8080/
set HTTP_proxy_user=user
set HTTP_proxy_pass=passwd