diff --git a/articles/sys/2013-04-05-cntlm.md b/articles/sys/2013-04-05-cntlm.md index c6a52ec..a38f844 100644 --- a/articles/sys/2013-04-05-cntlm.md +++ b/articles/sys/2013-04-05-cntlm.md @@ -58,8 +58,10 @@ en utilisant l'hôte local et le port 11443; par exemple: `ssh localhost -p 1144 ### CMD +```bash set http_proxy=http://localhost:3128 set https_proxy=http://localhost:3128 +``` Il est possible de configurer cmder dans les paramètres `startup/environment`, qui permettent de donner directement ces deux variables (COMMENT ???). Un peu comme un fichier `bash_profile`. @@ -72,7 +74,7 @@ export http_proxy="localhost:3128" export https_proxy="localhost:3128" ``` -Sous **Windows** il faut taper les commandes suivantes : +Sous **Windows**, si ce n'est pas déjà fait, il faut taper les commandes suivantes : ```bash SET HTTP_PROXY=localhost:3128 SET HTTPS_PROXY=localhost:3128