From c21fd303120db3d4913c541feb4d30ef19152577 Mon Sep 17 00:00:00 2001
From: ViViDboarder <ViViDboarder@gmail.com>
Date: Fri, 17 Dec 2021 11:25:06 -0800
Subject: [PATCH] Add ability to ignore failed installs

---
 install-language-servers.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/install-language-servers.sh b/install-language-servers.sh
index 36a48fc..9d7ada2 100755
--- a/install-language-servers.sh
+++ b/install-language-servers.sh
@@ -1,9 +1,15 @@
 #! /bin/bash
-set -e
 
 # Clear explicit PYTHONPATH since this gets confused between py2 and py3
 export PYTHONPATH=""
 
+# Ignore failed installs
+if [ -z "$IGNORE_MISSING" ]; then
+    set -e
+else
+    set +e
+fi
+
 # Determines if a command exists or not
 function command_exist() {
     command -v "$1" > /dev/null 2>&1;