Merci à tous mes problèmes sont réglés maintenant.

Merci pour ta réponse

En effet mettre http_proxy= dans /etc/environment était une erreur et j'aurai dû simplement suivre le tuto.
env | grep -i proxy renvoie:

http_proxy=http://172.17.31.2:8080
FTP_PROXY=http://172.17.31.2:8080
ftp_proxy=http://172.17.31.2:8080
rsync_proxy=http://172.17.31.2 ...

Salut à tous,

Je viens récemment d'arriver en résidence universitaire où je dois configurer mes paramètres proxy pour internet... Et le problème c'est que je n'y arrive pas trop. Même après avoir consulté le wiki et fait des recherches de cas similaires rien n'y fait.

En un exemple concret, voici ...