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