Encontrei esta solução funcional para Linux.https://askubuntu.com/questions/428408/can-not-ping-google-using-proxy/428414. Alguma sugestão para Windows? 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 conseguiu encontrar o host google.com. Verifique o nome e tente novamente")