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.1264524753.txt.gz
  • Dernière modification: Le 18/04/2011, 14:59
  • (modification externe)