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

Ceci est une ancienne révision du document !


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

Qu'est-ce qu'un serveur proxy ?

Fichier de configuration à modifier

Editer le fichier suivant:

sudo gedit /etc/bash.bashrc

Puis 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

Adapter la dernière ligne en fonction des protocoles que vous utilisez (ex: ftp, https, …)

Sources

Voir aussi



Le contenu de ce wiki est sous licence : CC BY-SA v3.0