zeroskylian
11 天前
端口号换为自己的, 添加到.zshrc 或者.bash_profile 里面, 用的时候 proxy_on 下
```
function proxy_on() {
export http_proxy=http://127.0.0.1:8234
export https_proxy=http://127.0.0.1:8234
export all_proxy=socks5://127.0.0.1:8235
echo -e "已开启代理"
}
function proxy_off() {
unset http_proxy
unset https_proxy
unset all_proxy
echo -e "已关闭代理"
}
function git_proxy_on() {
if [[ -z $http_proxy ]]; then
proxy_on
fi
git config --global http.proxy $http_proxy
git config --global https.proxy $https_proxy
echo -e "已开启 git 代理"
}
function git_proxy_off() {
git config --global --unset http.proxy
git config --global --unset https.proxy
echo -e "已关闭 git 代理"
}
function check_proxy() {
if [[ -z $http_proxy ]]; then
echo "当前未设置代理"
else
echo "当前已设置代理"
fi
}
# 列出当前代理
function list_proxy() {
echo "http 代理 $http_proxy $https_proxy"
echo "git 代理"
git config --global http.proxy
git config --global https.proxy
}
```