détails install

docs/CalculNotes.md

@@ -139,7 +139,8 @@ moyenne générale du semestre déjà obtenue par l'étudiant.*
 L'administrateur peut changer la fonction de calcul du bonus sport via le
 formulaire de configuration accessible (aux admin) depuis la page d'accueil. 
 Si vous souhaitez implémenter une nouvelle règle, il faut la coder en Python
-et modifier un fichier de configuration (non documenté, contacter la liste 
-scodoc-devel ou regardez les fichiers `/opt/scodoc-data/config/scodoc_local.py` et
- `bonus_sport.py`.)
+et la placer dans `/opt:scodoc/app/scodoc/bonus_sport.py`. Après l'avoir testée
+et validée, l'envoyer sur la liste scodoc-devel, *sans quoi elle sera effacée
+dès la prochaine mise à jour* (qui peut arriver à tout moment sur votre serveur
+en production !).
 

docs/GuideAdminSys.md

@@ -8,6 +8,9 @@ Utilisez un **serveur virtuel** ou un container Docker si vous n'avez pas de mac
 
  * Installation de ScoDoc: [GuideInstallDebian11](GuideInstallDebian11.md)
  
+ * Migration d'un serveur ScoDoc 7 vers la nouvelle version Scodoc 9: [MigrationScoDoc7a9](MigrationScoDoc7a9.md)
+
+
 (Les personnes ayant besoin d'installer l'ancienne version ScoDoc 7 peuvent se
 référer à [GuideInstallDebianDix](GuideInstallDebianDix.md) ou
 [GuideInstallDebianNeuf](GuideInstallDebianNeuf.md).)

docs/GuideInstallDebian11.md

@@ -1,11 +1,8 @@
 
 #  Installation de ScoDoc 9 sur Debian 11 (Bullseye) 
-Ce document décrit la procédure d'installation et de configuration de ScoDoc 9
-(**version en test, pas encore prête pour la production**).
-Cette procédure doit être effectué sur la machine serveur avec un accès administrateur (root).
-
-*Documentation en cours de relecture, voir aussi* https://scodoc.org/git/viennet/ScoDoc
-
+Ce document décrit la procédure d'installation et de configuration de ScoDoc 9.
+Cette procédure doit être effectué sur la machine serveur avec un accès
+administrateur (root). 
 
 ScoDoc est livré avec des scripts d'installation qui configurer presque
 automatiquement votre serveur (serveur web, base de données, etc): vous pouvez
@@ -19,6 +16,9 @@ facilement en cinq minutes, sur une machine normale ou un serveur
 virtualisé. Il est **vivement déconseillé** de tenter l'installation sur une
 autre version. 
 
+Si vous mettez à jour un serveur existant (ScoDoc 7 sur Debian 10), voir [la page
+sur les migrations](https://scodoc.org/MigrationScoDoc7a9/#2-upgrade-debian).
+
 Merci de signaler tout problème (emmanuel.viennet@gmail.com 
 ou [scodoc-devel](https://listes.univ-paris13.fr/mailman/listinfo/scodoc-devel) ).
 
@@ -116,13 +116,25 @@ Checklist minimale de votre système Linux Debian:
 #### Note sur l'install dans un container LXC
 Si vous installez dans un container LXC, attention: la config par défaut de
 Redis (un gestionnaire de cache utilisé par ScoDoc) n'est pas compatible, en
-raison d'un problème de système de fichier en lecture seule. Ilnstakler redis
+raison d'un problème de système de fichier en lecture seule. Installer redis
 avant ScoDoc, comme suit:
 
     apt-get install redis
 
-Puis commentez la ligne `ReadOnlyDirectories=/` du fichier de config
-`/etc/systemd/system/redis.service`. Ensuite 
+Puis créer un dossier /etc/systemd/system/redis.service.d contenant le fichier
+`redis.conf` avec les lignes suivantes :
+
+    [Service]
+    PrivateTmp=no
+    ProtectSystem=false
+    PrivateDevices=false
+    ProtectHome=no
+    ProtectControlGroups=no
+    ProtectKernelTunables=no
+    ProtectKernelModules=no
+    ReadWritePaths=
+
+Ensuite 
 
     systemctl daemon-reload
     systemctl start redis