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.1265565494.txt.gz
  • Dernière modification: Le 07/02/2010, 18:58
  • par YoBoY