Debian et Ubuntu: que faire derrière un proxy?

Aujourd’hui, un petit rappel tout simple pour se rappeler comment configurer son Debian 10 ou Ubuntu 18 pour fonctionner avec un serveur proxy.

Tout d’abord on commence par configurer le proxy avec les variables d’environnement habituelles. On peut éditer son fichier ~/.bashrc, comme toujours. De façon plus intéressante, on peut fixer ces variables pour tous les utilisateurs en éditant le fichier /etc/profile.d/proxy.sh (il faut le faire en étant root ou avec des droits sudo, bien sûr). Voici un exemple de contenu:

export http_proxy="http://proxy:3330"
export https_proxy="http://proxy:3330"
export no_proxy="localhost,127.0.0.1"

# Duplication des variables en UPPER CASE pour curl
export HTTP_PROXY="http://proxy:3330"
export HTTPS_PROXY="http://proxy:3330"
export NO_PROXY="localhost,127.0.0.1"

Ensuite, pour pouvoir utiliser apt, il faut aussi modifier (ou créer le cas échéant) le fichier /etc/apt/apt.conf. Voici le contenu à ajouter pour l’exemple :

Acquire::http::Proxy "http://proxy:3330";
Acquire::https::Proxy "http://proxy:3330";

Attention de bien finir les lignes par ; ou le fichier de configuration ne pourra être interprété.

Je n’ai rien inventé, voici mes sources :
https://dev.to/david_j_eddy/windows-10-wsl-ubuntu-1804-proxy-configuration-for-apt-fhi
https://computingforgeeks.com/how-to-set-system-wide-proxy-on-ubuntu-debian/

Vous aimerez aussi...

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *