WSL 中 Copilot 无法工作的代理配置与网络互访方案

这个选项似乎是默认开启的，会在 vscode 远程连接 wsl 开发中继承宿主机的 proxy 本地设置。问题就出在这里，如果你使用的是宿主机本机运行的代理程序，那么 proxy 的 ip 就会设置为 127.0.0.1，但是在 wsl 中想要访问宿主机的代理端口，ip 并不是 127.0.0.1(这会访问到 wsl 自己)，而是需要通过如下方式查询宿主机 ip，然后访问到宿主机上的代理端口：

hostip=$(ip route show |grep -i default |awk'{ print $3}')
echo $hostip

我的输出：

172.25.48.1 

因此 wsl 中要通过 172.25.48.1 ip 来访问宿主机上的端口。

WSL 2 / VS Code RemoteWindows Host (宿主机)Listens on Port XListens on Port XReturns 172.25.48.1Default Proxy: 127.0.0.1X Connection Refused (Self)✅ Correct Proxy: 172.25.48.1:Port XTraffic ForwardedWSL ApplicationLoopback: 127.0.0.1Query: ip route show | awk '{ print $3}'Proxy AppHost IP: 172.25.48.1Loopback: 127.0.0.1

问题解决

1. 如果可以通过网络直连，直接关闭 http: Use Local Proxy Configuration.
2. 如果依然需要设置代理，完成 1 后，修改如下设置：

你可能见过这个方案：Stack Overflow 上关于 Copilot 在 WSL remote connection 不可用的讨论。该方案虽然有效，但副作用是 copilot 无法修改 WSL 中的文件，agent 模式将形同虚设，因为你设置 copilot 完全工作在宿主机上（即设置的 "GitHub.copilot": [ "ui" ]）。

WSL 和宿主机网络互访

上面已经说明了如何在 WSL 命令行中访问宿主机程序，那么我们可以将之应用到代理设置上，以下脚本解决了一个问题——在 wsl 命令行中如何利用宿主机代理软件？

#!/bin/sh
hostip=$(ip route show |grep -i default |awk'{ print $3}')
wslip=$(hostname -I |awk'{print $1}')
port=7890
PROXY_HTTP="http://${hostip}:${port}"
PROXY_SOCKS5="socks5://${hostip}:${port}"
set_proxy(){
export http_proxy="${PROXY_HTTP}"
export HTTP_PROXY="${PROXY_HTTP}"
export https_proxy="${PROXY_HTTP}"
export HTTPS_proxy="${PROXY_HTTP}"
export ALL_PROXY="${PROXY_SOCKS5}"
export all_proxy=${PROXY_SOCKS5}
git config --global http.https://github.com.proxy ${PROXY_HTTP}
git config --global https.https://github.com.proxy ${PROXY_HTTP}
echo "Proxy has been opened."
}
unset_proxy(){
unset http_proxy
unset HTTP_PROXY
unset https_proxy
unset HTTPS_PROXY
unset ALL_PROXY
unset all_proxy
git config --global --unset http.https://github.com.proxy
git config --global --unset https.https://github.com.proxy
echo "Proxy has been closed."
}
test_setting(){
echo "Host IP:"${hostip}
echo "WSL IP:"${wslip}
echo "Try to connect to Google..."
resp=$(curl -I -s --connect-timeout 5 -m 5 -w "%{http_code}" -o /dev/null www.google.com)
if [ "${resp}" = "200" ]; then
echo "Proxy setup succeeded!"
else
echo "Proxy setup failed!"
fi
}
if [ "$1" = "set" ]; then
set_proxy
elif [ "$1" = "unset" ]; then
unset_proxy
elif [ "$1" = "test" ]; then
test_setting
else
echo "Unsupported arguments."
fi

这个脚本自动获取宿主机的 ip，并利用宿主机上的本地代理软件来代理 wsl 中的网络请求，可以通过参数控制行为：

source proxy.sh set
# 开启代理，设置代理变量
source proxy.sh test
# 用 google.com 测试代理是否成功
source proxy.sh unset
# 关闭代理，清除代理变量设置