From f2574c2d495782b5917a6bc024deeea4636945e8 Mon Sep 17 00:00:00 2001
From: Emmanuel Viennet <emmanuel.viennet@gmail.com>
Date: Tue, 18 Jul 2023 15:20:55 +0200
Subject: [PATCH] modif script install pour Debian 12

---
 README.md                  | 2 +-
 tools/configure-scodoc9.sh | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 6c79f8bba..b4c623089 100644
--- a/README.md
+++ b/README.md
@@ -176,7 +176,7 @@ puis
 
     snakeviz -s --hostname 0.0.0.0 -p 5555 /opt/scodoc-data/GET.ScoDoc......prof 
 
-# Paquet Debian 11
+# Paquet Debian 12
 
 Les scripts associés au paquet Debian (.deb) sont dans `tools/debian`. Le plus
 important est `postinst`qui se charge de configurer le système (install ou
diff --git a/tools/configure-scodoc9.sh b/tools/configure-scodoc9.sh
index 251c25581..aa09fc1d2 100755
--- a/tools/configure-scodoc9.sh
+++ b/tools/configure-scodoc9.sh
@@ -22,10 +22,10 @@ then
     debian_version=$(cat /etc/debian_version)
     debian_version=${debian_version%%.*}
     echo "Detected Debian version: ${debian_version}"
-    if  [ "$debian_version" != "11" ]
+    if  [ "$debian_version" != "12" ]
     then
         echo "Erreur: version Linux Debian incompatible"
-        echo "Utiliser un système Debian Bullseye (11)"
+        echo "Utiliser un système Debian Bookwork (12)"
         echo
         exit 1
     fi
@@ -33,7 +33,7 @@ else
     echo "can't detect Debian version"
     exit 1
 fi
-echo "--- Configuration de ScoDoc pour Debian 11"
+echo "--- Configuration de ScoDoc pour Debian 12"
 
 # ------------ CONFIG FIREWALL OPTIONNELLE
 echo