Proxy settings en la consola

Si, y de manera fácil! Yo estaba cansado de tener cosas pendientes [si, soy vago por default para hacer esos ciertos trabajitos que a todos nos molestan en la consola], como por ejemplo setear el proxy en la consola porque determinada aplicación buscaba determinados plugins en el sitio de su desarrollador…

Googleando un poquito y estudiándome las variables de entorno hice un pequeño script-cito que dejé caer en /usr/bin/, para que me seteara los proxy settings cada vez que lo necesitara sin mucha complicación ulterior.

Aquí les presento mi nota mental, se llama «proxy_settings», se debe copiar en /usr/bin/, lleva permisos de ejecución[chmod 755], y su código es el siguiente:

#!/bin/bash

function do_proxy(){
echo -n "Proxy: "
read -e internet_proxy
echo -n "Port: "
read -e proxy_port
echo -n "User: "
read -e username
echo -n "Pass: "
read -es password
export http_proxy="http://$username:$password@$internet_proxy:$proxy_port/"
export https_proxy="http://$username:$password@$internet_proxy:$proxy_port/"
export ftp_proxy="http://$username:$password@$internet_proxy:$proxy_port/"
export no_proxy="localhost,127.0.0.1,localaddress,.localdomain.com"
echo -e "\nProxy environment variable set\n"
}

function undo_proxy(){
unset http_proxy
unset https_proxy
unset ftp_proxy
echo -e "\nProxy environment variable removed\n"
}

case "$1" in
on)
do_proxy
;;

off)
undo_proxy
;;

*)
echo -e "\nUsage: proxy_settings {on|off}\n"
exit 1
esac

exit 0

Modifíquelo y úselo a su gusto. Un salu2 y hasta la próxima!