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;