From 9d7970a2090aa765b027dbfd4f6fd78d3ee54be6 Mon Sep 17 00:00:00 2001 From: Sulley Date: Wed, 20 May 2020 10:00:33 +0200 Subject: [PATCH] =?UTF-8?q?Mise=20=C3=A0=20jour=20de=20'articles/sys/2013-?= =?UTF-8?q?04-05-cntlm.md'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- articles/sys/2013-04-05-cntlm.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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