From 8d1de1695be85ce5073e4dfa493a2619a72195a4 Mon Sep 17 00:00:00 2001 From: Steven Foerster Date: Sun, 9 Aug 2020 09:28:15 -0400 Subject: [PATCH] unsupported OS --- scripts/install.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/install.sh b/scripts/install.sh index 6caba26..e777b79 100755 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -134,6 +134,9 @@ if [ "$DISTRO" == "ubuntu" ] || [ "$DISTRO" == "debian" ]; then sudo -E apt install -y linux-headers-$(uname -r) elif [ "$DISTRO" == "raspbian" ] || [ "$DISTRO" == "raspios" ]; then sudo -E apt install -y raspberrypi-kernel-headers +else + echo "Unsupported OS: $DISTRO" + exit 1 fi # Wireugard