From 0c23daf1e418aa13c9df64a8723ff0fbfa1ff9d3 Mon Sep 17 00:00:00 2001
From: viennet <emmanuel.viennet@gmail.com>
Date: Wed, 13 Apr 2022 11:17:23 +0200
Subject: [PATCH] =?UTF-8?q?ajout=20pr=C3=A9cision=20sur=20config=20avec=20?=
 =?UTF-8?q?proxy?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/GuideInstallDebian11.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/GuideInstallDebian11.md b/docs/GuideInstallDebian11.md
index c286817..c7a778f 100644
--- a/docs/GuideInstallDebian11.md
+++ b/docs/GuideInstallDebian11.md
@@ -119,6 +119,9 @@ et ajouter les variables d'environnement nécessaires. Typiquement, il s'agit de
   HTTP_PROXY=http://proxy.univ-xxx.fr:1234
   HTTPS_PROXY=http://proxy.univ-xxx.fr:1234
 ```
+Vérifiez aussi que ces variables sont bien définies dans `/etc/environment` 
+(si l'installeur Linux Debian ne les a pas déjà indiquées là, les ajouter ou créer ce fichier).
+
 Après modification de ce fichier (qui _doit_ être lisible par l'utilisateur `scodoc`),
 redémarrer le service:
 ```