Encontré esta solución funcional para Linux.https://askubuntu.com/questions/428408/can-not-ping-google-using-proxy/428414. ¿Alguna sugerencia para Windows? Lo intenté:
set http_proxy=http://username:password@your_proxy:your_port
ping google.com # works, proxy set for this bash session.
pero no funciona (todavía dice: "La solicitud de ping no pudo encontrar el host google.com. Verifique el nombre e inténtelo nuevamente")