From 936e9e0e3cd39c729befe7070d412e9943ea161a Mon Sep 17 00:00:00 2001
From: Christian Rotzoll <christian@geektank.de>
Date: Thu, 25 Jul 2019 22:28:45 +0200
Subject: [PATCH] #678 accept also nodejs10 if available

---
 home.admin/config.scripts/bonus.rtl.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/home.admin/config.scripts/bonus.rtl.sh b/home.admin/config.scripts/bonus.rtl.sh
index 079af9e..8e48829 100755
--- a/home.admin/config.scripts/bonus.rtl.sh
+++ b/home.admin/config.scripts/bonus.rtl.sh
@@ -39,8 +39,11 @@ if [ "$1" = "1" ] || [ "$1" = "on" ]; then
     sudo apt-get install -y nodejs
     echo ""
 
-    # check if nodeJS was installed 
+    # check if nodeJS was installed (v11 or v10)
     nodeJSInstalled=$(node -v | grep -c "v11.")
+    if [ ${nodeJSInstalled} -eq 0 ]; then
+      nodeJSInstalled=$(node -v | grep -c "v10.")
+    fi
     if [ ${nodeJSInstalled} -eq 0 ]; then
       echo "FAIL - Was not able to install nodeJS 11"
       echo "ABORT - RTL install"