Configuración del proxy en Ubuntu

La configuración del proxy depende de que requieres pasar por el.

Los programas como Firefox, Chrome, Chromium, Thunderbird, etc…, toman la configuración del proxy de las propiedades del sistema en Proxy de la Red. Y solo es necesario colocar los datos de nuestro proxy.

Ahora, hay aplicaciones, como wget, winetrics, add-apt-repository, etc… se requiere que la configuración del proxy este en las variables de ambiente. Es necesario abrir una terminal para realizar las siguientes configuraciones.

$ export http_proxy=http://usuario:contraseña@proxy.dominio:puerto/

$ export https_proxy=https://usuario:contraseña@proxy.dominio:puerto/

Si el proxy no tiene contraseña se puede omitir la parte de usuario:contraseña@, y debe ser algo como:

$ export http_proxy=http://proxy.dominio:puerto/
$ export https_proxy=https://proxy.dominio:puerto/

Para el caso especifico de add-apt-repository no funciona si las variables se exportan en la sesión y después se ejecuta el comando con “sudo”, es necesario entrar a root.

$ sudo su -
# export http_proxy=http://usuario:contraseña@proxy.dominio:puerto/
# export https_proxy=https://usuario:contraseña@proxy.dominio:puerto/
# add-apt-repository ppa:identificador 

Asiendo uso también de la terminal. Para dejar permanente estas variables sin tenerlas que estar configurando todo el tiempo, modificamos el archivo /etc/environment

sudo gedit /etc/environment

Y agrega las siguientes líneas:

http_proxy=http://usuario:contraseña@proxy.dominio:puerto/
https_proxy=https://usuario:contraseña@proxy.dominio:puerto/

Y por ultimo como utilizar proxy en Ubuntu Software Center, o los asistentes de instalación de paquetes, como instalación de codecs, soporte a idiomas, apt-get, aptitude, etc. Para estos es necesario modificar o crear el archivo si no existe: /etc/apt/apt.conf:

$ sudo gedit /etc/apt/apt.conf

Y después agregar las siguientes líneas:

Acquire::http::Proxy "http://usuario:contraseña@proxy.dominio:puerto/";
Acquire::https::Proxy "https://usuario:contraseña@proxy.dominio:puerto/";

Como mencione al inicio, si no requieres contraseña se puede omitir usuario:contraseña@

Excepciones 

Es muy probable que se requiera que determinadas paginas no pasen por el proxy. Para configurar esto, necesitar instalar dconf-tools.

sudo apt-get install dconf-tools

Y luego:
sudo dconf-editor 

En la sección "ignore-hosts" agregamos aquellas direcciones que queremos que no pasen por el proxy separadas por comas (,) y entre comillas simples (').

Para comprobar que las configuraciones se hayan realizado correctamente podemos ejecutar en el explorador chrome://net-internals/#proxy lo cual nos devolverá un informe muy detallado de las configuraciones de la red.