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 commentez (en rajoutant un # en premier caractère ) ou supprimer les lignes qui ont été ajoutées.

Environnement global

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

Environnement bash

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

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

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.

Ponctuellement

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

Durablement

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

  • proxy_terminal.txt
  • Dernière modification: Le 13/03/2020, 11:49
  • (modification externe)