unsupported OS

2020-08-09 09:28:15 -04:00
parent 33c8d6c231
commit 8d1de1695b
1 changed files with 3 additions and 0 deletions
@@ -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