Configurer le proxy pour apt à partir du terminal

Duplicata possible :
apt-get ne fonctionne pas avec le proxy

J'ai essayé de modifier mes paramètres de proxy dans un terminal comme :

export HTTP_PROXY=http://10.1.3.1:8080

y

export http_proxy=http://10.1.3.1:8080

mais lorsque j'essaie d'installer un nouveau paquet ou de mettre à jour apt-get, apt-get commence à afficher des messages à partir desquels il semble qu'il essaie de se connecter à un proxy précédemment défini :

sudo apt-get update  
0% [Connecting to 10.1.2.2 (10.1.2.2)] [Connecting to 10.1.2.2 (10.1.2.2)

J'ai essayé de configurer le proxy via le fichier bashrc mais cela ne fonctionne pas non plus. Autant que je me souvienne, 10.1.2.2 a été configuré à l'aide de l'interface graphique de GNOME, mais je n'ai pas accès à l'interface graphique en ce moment, alors j'essaie de le configurer à partir du terminal.