Outils pour utilisateurs

Outils du site


netadmin:linux:debian:definir-proxy

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

netadmin/linux/debian/definir-proxy.txt · Dernière modification : 2025/11/16 15:34 de yoann