From c78e712a16680b68d61387beb7db846cc67dd244 Mon Sep 17 00:00:00 2001
From: Matthias Mair <code@mjmair.com>
Date: Tue, 24 Jan 2023 23:30:14 +0100
Subject: [PATCH] Fix debian 11 detection on installer (#4241)

* Fix debian 11  detection
Fixes #4236

* compile installer script

* fix typo
---
 contrib/install.sh                    | 4 ++--
 contrib/installer/src/root_command.sh | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/contrib/install.sh b/contrib/install.sh
index b8c8315ab5..981263b2d3 100755
--- a/contrib/install.sh
+++ b/contrib/install.sh
@@ -73,11 +73,11 @@ root_command() {
               SUPPORTED=false
           fi
           ;;
-      "Debian GNU/Linux" | Raspbian)
+      "Debian GNU/Linux" | "debian gnu/linux" | Raspbian)
           if [[ $VER != "11" ]]; then
               SUPPORTED=false
           fi
-          OS=Debian
+          DIST_OS=debian
           ;;
       *)
           echo "### Distribution not supported"
diff --git a/contrib/installer/src/root_command.sh b/contrib/installer/src/root_command.sh
index 0be18a0062..7c260c0c37 100644
--- a/contrib/installer/src/root_command.sh
+++ b/contrib/installer/src/root_command.sh
@@ -63,11 +63,11 @@ case "$OS" in
             SUPPORTED=false
         fi
         ;;
-    "Debian GNU/Linux" | Raspbian)
+    "Debian GNU/Linux" | "debian gnu/linux" | Raspbian)
         if [[ $VER != "11" ]]; then
             SUPPORTED=false
         fi
-        OS=Debian
+        DIST_OS=debian
         ;;
     *)
         echo "### Distribution not supported"