Configurer l'accès à travers un serveur proxy à partir du terminal

Adaptez le protocole à votre situation : pour un proxy ftp, modifiez les "http" en "ftp".

pour modifier un fichier : comment_editer_un_fichier

Pour annuler une modification, vous pouvez commenter (en rajoutant un # en premier caractère ) ou supprimer les lignes qui ont été ajoutées.

Le fichier /etc/profile est lu au démarrage du système.

Modifiez le fichier /etc/profile ajouter cette ligne à la fin du fichier:

export http_proxy=http://"proxy_ip":"port_number"

où "proxy_ip" et "port_number" seront adaptés à votre situation

Le fichier /etc/bash.bashrc est lu au démarrage de votre terminal.

Modifiez le fichier /etc/bash.bashrc Puis ajoutez à la fin du fichier

export http_proxy=http://"proxy_ip":"port_number"

où "proxy_ip" et "port_number" seront adaptés à votre situation

wget permet à différents scripts de télécharger des données.

modifier le fichier /etc/wgetrc recherchez et décommentez les lignes (enlevez les # en début de lignes)

#http_proxy = http://proxy.yoyodyne.com:18023/
#use_proxy = on

en remplaçant les paramètres du proxy.

apt est le programme qui télécharge et installe les mises à jour.

Créer un fichier /etc/apt/apt.conf.d/proxyPerso.conf ajoutez la ligne suivante

Acquire::http::proxy "http://adresse:port/";

en remplaçant adresse par l'adresse du proxy, et port par le port.

Pour désactiver le proxy http ou https pendant la session de travail :

$ unset http_proxy
$ unset https_proxy
ou
$ export http_proxy=''
$ export https_proxy=''
vérifier avec 
$ printenv 
ou 
$ printenv https_proxy

suivre la procédure inverse des chapitres précedents expliquant la modification des fichiers, en supprimant les lignes en question

Auteur : Pendi29.

Qu'est-ce qu'un serveur proxy ?