Le mercredi 15 juin 2016 à 18:24 +0200, Christian Marillat a écrit : > On 15 juin 2016 17:20, Vincent <vincent.heurtaux@???> wrote: > > 2) Comment faire vite et simple, pour du permanent ?
> > (Y a-til un fichier général unique à éditer, pour tous les protocoles :
> > http / ftp / apt-get / wget / https ...) ?
>
> dans /etc/environment
>
> ,----
> | http_proxy=<URL>
> | https_proxy=<URL>
> | ftp_proxy=<URL>
Merci Christian,
Je vais voir ça demain, en classe.
echo $http_proxy me donne bien le proxy (après redémarrage, mais firefox
fonctionne quand même chez mpoi (sans proxy) ???
Bonne nuit.
