WSL 中 VS Code Remote 连接 GitHub Copilot 代理配置问题

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
# 关闭代理，清除代理变量设置