From 292811ce81103af7ccb19c961fa4cca15cdc6a4a Mon Sep 17 00:00:00 2001
From: Eric Vergnaud <eric.vergnaud@wanadoo.fr>
Date: Sun, 4 Oct 2020 00:19:54 +0800
Subject: [PATCH] try fix travis

---
 .travis.yml                                |  3 +++
 .travis/before-install-linux-javascript.sh | 17 +++++++++++------
 2 files changed, 14 insertions(+), 6 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 85147d97b..ac232b888 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -2,6 +2,9 @@ sudo: true
 
 language: java
 
+node_js:
+  - 14
+
 before_cache:
   - rm -rf $HOME/.m2/repository/org/antlr
 cache:
diff --git a/.travis/before-install-linux-javascript.sh b/.travis/before-install-linux-javascript.sh
index 235147b12..cb01e9440 100755
--- a/.travis/before-install-linux-javascript.sh
+++ b/.travis/before-install-linux-javascript.sh
@@ -4,10 +4,15 @@ set -euo pipefail
 
 sudo apt-get update -qq
 
-curl -sL https://deb.nodesource.com/setup_14.x | sudo -E bash -
-sudo apt-get install -qq nodejs
-curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.36.0/install.sh | sudo -E bash -
-export NVM_DIR="$HOME/.nvm"
-[ -s "$NVM_DIR/nvm.sh" ] && \. "$NVM_DIR/nvm.sh"  # This loads nvm
-sudo nvm use 14
+## download and install nodejs
+#curl -sL https://deb.nodesource.com/setup_14.x | sudo -E bash -
+#sudo apt-get install -qq nodejs
+#
+## download and install nvm
+#curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.36.0/install.sh | sudo -E bash -
+#export NVM_DIR="$HOME/.nvm"
+#[ -s "$NVM_DIR/nvm.sh" ] && \. "$NVM_DIR/nvm.sh"  # This loads nvm
+#
+## use v14 and check
+#sudo nvm use 14
 node --version