Table des matières

, , ,

Debian : Configuration d'un serveur proxy

:TODO:

wget

La commande wget utilise les serveurs mandataires définis par les variables d'environnement *_proxy sauf si l'option --no-proxy est spécifiée sur la ligne de commande : 

export http_proxy="http://gateway.glp.internal:3128"
export https_proxy=$http_proxy

Les serveurs mandataires peuvent également être définis dans le fichier de configuration de l'utilisateur ~/.wgetrc 

use_proxy = on
http_proxy = http://gateway.glp.internal:3128/ 
https_proxy = http://gateway.glp.internal:3128/ 
ftp_proxy = http://10.10.1.20:8080/

Références