diff --git a/scripts/src/main/resources/scripts/command/eclipse b/scripts/src/main/resources/scripts/command/eclipse index bd8ba3b4d..5b3f074cb 100755 --- a/scripts/src/main/resources/scripts/command/eclipse +++ b/scripts/src/main/resources/scripts/command/eclipse @@ -19,6 +19,10 @@ function doInstallEclipsePlugin() { } function doSetup() { + if [ -n "${1}" ] + then + doDevonCommand java setup + fi if [ -n "${1}" ] || [ ! -d "${ECLIPSE_HOME}" ] then #mirror="https://mirror.math.princeton.edu" diff --git a/scripts/src/main/resources/scripts/command/gradle b/scripts/src/main/resources/scripts/command/gradle index 4d60261c9..66246f00f 100755 --- a/scripts/src/main/resources/scripts/command/gradle +++ b/scripts/src/main/resources/scripts/command/gradle @@ -3,6 +3,10 @@ source "$(dirname "${0}")"/../functions # $1: optional setup function doSetup() { + if [ -n "${1}" ] + then + doDevonCommand java setup + fi if [ -n "${1}" ] || [ ! -d "${GRADLE_HOME}" ] then software_version="${GRADLE_VERSION:-5.5.1}" diff --git a/scripts/src/main/resources/scripts/command/intellij b/scripts/src/main/resources/scripts/command/intellij index 12533583a..2604c75a2 100755 --- a/scripts/src/main/resources/scripts/command/intellij +++ b/scripts/src/main/resources/scripts/command/intellij @@ -3,6 +3,10 @@ source "$(dirname "${0}")"/../functions cd "${DEVON_IDE_HOME}" function doSetup() { + if [ -n "${1}" ] + then + doDevonCommand java setup + fi if [ -n "${1}" ] || [ ! -d "${IDEA_HOME}" ] then #mirror="https://mirror.math.princeton.edu" diff --git a/scripts/src/main/resources/scripts/command/mvn b/scripts/src/main/resources/scripts/command/mvn index a38ca03e4..caab2a26f 100755 --- a/scripts/src/main/resources/scripts/command/mvn +++ b/scripts/src/main/resources/scripts/command/mvn @@ -3,6 +3,10 @@ source "$(dirname "${0}")"/../functions # $1: optional setup function doSetup() { + if [ -n "${1}" ] + then + doDevonCommand java setup + fi if [ -n "${1}" ] || [ ! -d "${MAVEN_HOME}" ] then local software_version=${MAVEN_VERSION:-3.6.1} diff --git a/scripts/src/main/resources/scripts/command/ng b/scripts/src/main/resources/scripts/command/ng index acd380065..51e030861 100755 --- a/scripts/src/main/resources/scripts/command/ng +++ b/scripts/src/main/resources/scripts/command/ng @@ -10,6 +10,7 @@ function doSetup() { echo "angluar-cli (ng) is already installed at $(command -v ng)" fi else + doDevonCommand npm setup doRunCommand "npm install -g @angular/cli@latest --unsafe" "install angular-cli" fi }