From 9d7c2a08c06066f14106df635b17671bf9d3f596 Mon Sep 17 00:00:00 2001
From: Lars Berning <151194+laberning@users.noreply.github.com>
Date: Sun, 23 Oct 2022 12:12:18 +0200
Subject: [PATCH] fixes #88, to allow installation on Raspbian OS 64bit

Signed-off-by: Lars Berning <151194+laberning@users.noreply.github.com>
---
 install/install.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/install/install.sh b/install/install.sh
index a2a98ce..ec4dbf0 100755
--- a/install/install.sh
+++ b/install/install.sh
@@ -61,13 +61,13 @@ print
 print "You should only run this script on a SD Card that contains Raspberry Pi OS (Lite)"
 print "and does not contain any important data."
 
-if [[ -f "/etc/os-release" ]]; then
-  OSID=$(grep -oP '(?<=^ID=).+' /etc/os-release | tr -d '"')
+if [[ -f "/proc/device-tree/model" ]]; then
+  MODEL=$(tr -d '\0' < /proc/device-tree/model)
 else
-  OSID="undefined"
+  MODEL="undefined"
 fi
 
-if [[ $OSID != "raspbian" ]]; then
+if [[ $MODEL != Raspberry* ]]; then
   print
   cancel "This script currently only works on Raspberry Pi OS, you will have to do a manual installation."
 fi