Catégorie : Raspberry Pi
Affichages : 7418

Si l'on utilise un Raspberry Pi 3 sous Raspbian dans un réseau protégé par un proxy (cas dans mon école), il va falloir le déclarer pour avoir accès à Internet. Malheureusement, la manipulation n'est pas très facile pour un débutant (même s'il suffit de recopier les lignes de commandes ci-dessous) car il va falloir passer par un terminal pour apporter des modifications dans la configuration de notre machine.
Source : https://blog.jolos.fr/2016/01/raspbian-et-proxy/

Tout d'abord, on ouvre un terminal, puis on édite un fichier /etc/environment avec la commande :

sudo nano /etc/environment

Ensuite, il faut rajouter ces 3 lignes dans le fichier :

export http_proxy=192.168.0.3:3128
export https_proxy=192.168.0.3:3128
export ftp_proxy=192.168.0.3:3128

 On n'oublie pas de sauvegarder avec la combinaison de touches : CTRL + O, puis on quitte avec CTRL+X

Ensuite pour que les commandes employées avec "sudo" en tiennent compte, il faut éditer le fichier /etc/sudoers :

sudo nano /etc/sudoers

Puis y rajouter cette ligne :

Defaults env_keep = "http_proxy https_proxy ftp_proxy"

 Pour permettre l'installation de paquets ou la mise à jour via les dépôts, il faut créer un fichier /etc/apt/apt.conf.d/10proxy avec la commande :

sudo nano /etc/apt/apt.conf.d/10proxy

 Et y mettre ces lignes :

Acquire::http::proxy "http://192.168.0.3:3128/";
Acquire::https::proxy "https://192.168.0.3:3128/";
Acquire::ftp::proxy "ftp://192.168.0.3:3128/";

Après ces manipulations, il faudra redémarrer pour que toutes ces modifications, soient prises en compte.