Я нашел это рабочее решение для Linux. https://askubuntu.com/questions/428408/can-not-ping-google-using-proxy/428414 . Любое предложение для Windows? Я старался:
set http_proxy=http://username:password@your_proxy:your_port
ping google.com # works, proxy set for this bash session.
но он не работает (он по-прежнему говорит: «Запрос Ping не может найти хост google.com. Пожалуйста, проверьте имя и попробуйте снова")