[gull] terminal avec proxy

[Didier Donzé]

Bonjour!
Un probleme se pose à moi... J'aimerais avoir acces a internet sur une 
machine qui est en mode terminal pour le moment. Pour ce faire, je veux 
specifier les parametres d'un proxy. Qqes recherches sur le net m'ont 
permis de découvrir qu'il existe une variable d'environnement 
http_proxy.. J'ai donc fait
export http_proxy=http://mon_proxy:8080/
Mais seulement voila, toujours pas moyen d'acceder au net? Une bonne ame 
pour m'aider? D'avance merci!

Didier