给终端设置代理

今天brew跟新包的时候, 速度是真的慢. 需要给终端设置代理, 一两条命令能搞定. 切换代理算是日常操作, 于是写个小函数方便使用.

proxy_st=off
toggle_proxy() {
    if [ "$proxy_st" = on ]; then
        unset ALL_PROXY
        proxy_st=off
        echo proxy is now "$proxy_st"
    else
        export ALL_PROXY="socks5://localhost:1080"
        proxy_st=on
        echo proxy is now "$proxy_st"
    fi
}

之后切换代理就会比较方便了. 如果想在开启新终端时就启用代理, 在rc文件中调用一次该函数即可.