我找到了这个适用于 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。请检查名称并重试”）