diff --git a/docs/GuideInstallDebian11.md b/docs/GuideInstallDebian11.md index c286817a..c7a778fd 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: ```