[gull] terminal avec proxy

[Cédric Rochat]

> export http_proxy="http://user:mon_passwd@mon_proxy:8080"
On peut encore préciser, dans le cas d'un proxy windows :

export http_proxy="http://domaine\mon_user:mon_passwd@mon_proxy:8080"

Si jamais, la variable d'environnement ftp_proxy existe aussi, et s'utilise
de la même façon !!

Dans le cas de problèmes rencontrés, on peut toujours utiliser un Squid en
local, qui lui, est "cascadé" derrière l'autre proxy...

@+
-- 

********************************
         Cédric Rochat
================================
Rue des Jeanneret 37
2400 Le Locle
priv: crochat at younics.org
================================
prof: cedric.rochat at eiaj.ch
================================
homepage: http://www.younics.org
********************************