<br>
<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Mets dans ton fichier /etc/environment<br>http_proxy="<a href="http://ton_proxy:port">
http://ton_proxy:port</a>"<br>et tout devrait fonctionner. ça marche très bien chez moi.</blockquote><div><br>
Merci  à Isabelle et à Hervé, finalement  la solution 
de mettre  http_proxy="... dans /etc/environment semble 
résoudre  tous les problèmes.<br>
</div></div><br>-- <br>Danilo Uccelli<br>CH-2400 Le Locle<br><a href="mailto:danucc@gmail.com">danucc@gmail.com</a>