可以搞一个PowerShell 包装函数，代理改成你自己的端口号``` # ===== grok proxy wrapper: set HTTP(S)_PROXY before launch, restore after ===== function grok { # EDIT: your proxy address $ProxyUrl = "http://127.0.0.1:7890" $NoP