proxy.source

export HTTP_PROXY_IP=x.x.x.x
export HTTP_PROXY_PORT=8080

function useproxy() {
    export http_proxy="http://${HTTP_PROXY_IP}:${HTTP_PROXY_PORT}/"
    export https_proxy="http://${HTTP_PROXY_IP}:${HTTP_PROXY_PORT}/"

}

function disableproxy() {
    unset http_proxy
    unset https_proxy
}

echo "No changes have been made yet. Use the 'useproxy' and 'disableproxy' commands to manage the proxy. You will need to do this for every terminal session."