Contexte

Pour accéder à Internet depuis un réseau local, il faut parfois définir le proxy HTTP.

Pour PEAR

Lancer la commande :

pear config-set http_proxy "http://LOGIN:MOT_DE_PASSE@IP_SERVEUR:PORT_PROXY"

Pour WGET

Editer le fichier ~/.wgetrc et insérer à la fin :

http_proxy=http://sesame.efs.sante.fr:8080/
https_proxy=http://sesame.efs.sante.fr:8080/
use_proxy=on

Pour Bash

Editer le fichier ~/.bashrc et insérer à la fin :

export HTTP_PROXY='http://sesame.efs.sante.fr:8080/'
export FTP_PROXY='http://sesame.efs.sante.fr:8080/'
FacebookLinkedInShare/Bookmark