Contenu | Rechercher | Menus
Cette page n'a pas encore d'étiquettes.
Apportez votre aide…

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

Qu'est-ce qu'un serveur proxy ?

Fichiers de configuration à modifier

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.

Sources

Voir aussi


proxy_terminal.txt · Dernière modification: Le 30/07/2013, 09:02 par 92.103.235.86
Le contenu de ce wiki est sous licence : CC BY-SA v3.0