Я нашел это рабочее решение для 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. Проверьте имя и повторите попытку»)