Configurar GNU/Linux como cliente de un proxy desde consola

Para configurar tu GNU/Linux como cliente proxy hay que teclear los siguientes comandos desde consola:

export http_proxy="http://dominio_o_IP_del_servidor_proxy:3128"
export https_proxy="https://dominio_o_IP_del_servidor_proxy:3128"
export ftp_proxy="ftp://dominio_o_IP_del_servidor_proxy:3128"
export socks_proxy="socks://dominio_o_IP_del_servidor_proxy:3128"

En algunas distros no hay que poner las comillas.

El puerto del servidor proxy normalmente es el 3128, pero se puede haber cambiado por razones de seguridad.

apt en Ubuntu/Debian con proxy

Para usar apt con proxy hay que editar o crear en su caso el archivo /etc/apt/apt.conf.d/proxy.conf y añadirle las siguientes líneas:

Acquire {
HTTP::proxy "http://miservidorproxy:puerto";
HTTPS::proxy "http://miservidorproxy:puerto";
}

El puerto suele ser el 3128 o el 8080, según lo que te indique el servidor proxy.