Linux 用のこの実用的なソリューションを見つけました。https://askubuntu.com/questions/428408/can-not-ping-google-using-proxy/428414Windows 向けの提案はありますか? 試してみました:
set http_proxy=http://username:password@your_proxy:your_port
ping google.com # works, proxy set for this bash session.
しかし、それは機能しません（まだ「Ping 要求でホスト google.com が見つかりませんでした。名前を確認してもう一度お試しください」と表示されます）。