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

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, …)

  • proxy_terminal.1258641304.txt.gz
  • Dernière modification: Le 19/11/2009, 15:35
  • par 213.95.41.13