Você poderia fazer um script bash para isso, para mim soa mais fácil do que configurar tudo a cada vez, você poderia usar algo como neste site (não testado):
function proxy(){
echo -n "username:"
read -e username
echo -n "password:"
read -es password
export http_proxy="http://$username:$password@proxyserver:8080/"
export https_proxy="http://$username:$password@proxyserver:8080/"
export ftp_proxy="http://$username:$password@proxyserver:8080/"
export no_proxy="localhost,127.0.0.1,localaddress,.localdomain.com"
echo -e "\nProxy environment variable set."
}
function proxyoff(){
unset HTTP_PROXY
unset http_proxy
unset HTTPS_PROXY
unset https_proxy
unset FTP_PROXY
unset ftp_proxy
echo -e "\nProxy environment variable removed."
}