From 9c068b01ad2c60061029cbfa31632da4bdd0c5d1 Mon Sep 17 00:00:00 2001
From: Xavier Petit <32063953+xpetit@users.noreply.github.com>
Date: Wed, 11 Sep 2019 17:56:58 +0100
Subject: [PATCH] Upgrade Node.js version

---
 scripts/nodejs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nodejs.sh b/scripts/nodejs.sh
index c08f012a..9aa678e3 100755
--- a/scripts/nodejs.sh
+++ b/scripts/nodejs.sh
@@ -6,5 +6,5 @@ SCRIPT_DIR="$(cd -P "$(dirname "$BASH_SOURCE")" && pwd)"
 cd $SCRIPT_DIR
 . set.sh
 
-curl -sL https://deb.nodesource.com/setup_10.x | bash -
+curl -sL https://deb.nodesource.com/setup_12.x | bash -
 apt-get -y install nodejs