Eu encontrei esta solução de trabalho para o Linux. link . Alguma sugestão para o Windows? Eu tentei:
set http_proxy=http://username:password@your_proxy:your_port
ping google.com # works, proxy set for this bash session.
mas não funciona (ainda diz: "A solicitação de ping não encontrou o host google.com. Verifique o nome e tente novamente")