From 5465a5e364986f04c4962ea1368526515adc7be2 Mon Sep 17 00:00:00 2001 From: Marco Ochse Date: Fri, 30 Jun 2023 11:19:49 +0200 Subject: [PATCH] update distro names --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index aef0f0dd..90c80d4e 100755 --- a/install.sh +++ b/install.sh @@ -18,7 +18,7 @@ if [ $EUID -eq 0 ]; fi # Check if running on a supported distribution -mySUPPORTED_DISTRIBUTIONS=("Fedora" "Debian" "openSUSE Tumbleweed" "Ubuntu") +mySUPPORTED_DISTRIBUTIONS=("Fedora Linux" "Debian GNU/Linux" "openSUSE Tumbleweed" "Ubuntu") myCURRENT_DISTRIBUTION=$(awk -F= '/^NAME/{print $2}' /etc/os-release | tr -d '"') if [[ ! " ${mySUPPORTED_DISTRIBUTIONS[@]} " =~ " ${myCURRENT_DISTRIBUTION} " ]];