Ceci est une ancienne révision du document !


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.

nique ta grosse daronne ton truc ne marche pas

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.1490095708.txt.gz
  • Dernière modification: Le 21/03/2017, 12:28
  • par 195.221.155.14