J'ai configuré les paramètres de proxy (sur mavericks) dans $HOME/.bash_profile (but: faire en sorte que npm, rvm, git utilisent le proxy d'entreprise) et les configurations sont les suivantes :
git config --global http.proxy http://proxy_usr:proxy_pwd@proxy_ipaddress:proxy_port
git config --global http.proxy https://proxy_usr:proxy_pwd@proxy_ipaddress:proxy_port
export http_proxy=http://proxy_usr:proxy_pwd@proxy_ipaddress:proxy_port
export ALL_PROXY=$http_proxy
npm config set proxy http://proxy_usr:proxy_pwd@proxy_ipaddress:proxy_port
npm config set https-proxy http://proxy_usr:proxy_pwd@proxy_ipaddress:proxy_portCependant, je n'ai pas besoin de ces configurations à la maison.
Quel est le meilleur moyen de gérer le .bash_profile afin que mon Mac choisisse les paramètres en fonction du proxy ? Pouvons-nous écrire un script shell pour définir mon .bash_profile en fonction du réseau que j'utilise (maison/travail - pas de proxy/proxy) ?
