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.d/proxy
(le nom du fichier en lui-même peut varier). Voici le contenu à ajouter pour notre 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é.
⚠️ J’avais initialement écrit l’article pour Ubuntu 18, où le fichier de config apt n’était pas séparé en plusieurs sections et se trouvait à /etc/apt/apt.conf
.
Je n’ai rien inventé, voici mes sources :
– https://www.howtoforge.com/how-to-setup-apt-proxy-on-ubuntu/
– 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/