Navegar desde consola en Internet, estando en una red con proxy

Este truquito me lo enseñó un muchacho que asistió a una charla que con una compañera di de JabRef y Zotero, y es para navegar en consola, por ejemplo, para descargar paquetes, estando tras un proxy.

En gnome:

Ir a la carpeta personal (que se encuentra en /home/USUARIO), menú VER -> MOSTRAR ARCHIVOS OCULTOS.

Luego editar el archivo .bashrc y al final agregar las siguientes líneas (donde se debe cambiar USUARIO por el nombre de usuario, CONTRASEÑA por la contraseña de autenticación ante el proxy, DIRECCIONPROXY por la dirección del proxy, y PUERTO por el puerto a través del cual se conecta):

http_proxy="http://USUARIO:CONTRASEÑA@DIRECCIONPROXY:PUERTO"
ftp_proxy="http://USUARIO:CONTRASEÑA@DIRECCIONPROXY:PUERTO"

export http_proxy
export ftp_proxy

Para mi caso particular, que estudio en la UNIVERSIDAD NACIONAL DE COLOMBIA, los datos serían algo como esto:

http_proxy="http://USUARIO:CONTRASEÑA@proxy.unal.edu.co:8080"
ftp_proxy="http://USUARIO:CONTRASEÑA@proxyftp.unal.edu.co:8080"

export http_proxy
export ftp_proxy