From 638dddb7770e2154484de5dfdd0cc085ea883ccb Mon Sep 17 00:00:00 2001
From: Christian Rotzoll <christian@geektank.de>
Date: Thu, 25 Jul 2019 22:31:17 +0200
Subject: [PATCH] #678 also accept node v10

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

diff --git a/home.admin/config.scripts/bonus.rtl.sh b/home.admin/config.scripts/bonus.rtl.sh
index 720144e..dc8ae11 100755
--- a/home.admin/config.scripts/bonus.rtl.sh
+++ b/home.admin/config.scripts/bonus.rtl.sh
@@ -39,10 +39,13 @@ 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
-      echo "FAIL - Was not able to install nodeJS 11"
+      nodeJSInstalled=$(node -v | grep -c "v10.")
+    fi
+    if [ ${nodeJSInstalled} -eq 0 ]; then
+      echo "FAIL - Was not able to install nodeJS 10/11"
       echo "ABORT - RTL install"
       exit 1
     fi