我找到了這個適用於 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。請檢查名稱並重試」）