diff options
| author | Josh Spicer <joshspicer@github.com> | 2022-05-26 05:25:40 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-26 05:25:40 +0300 |
| commit | cc03be1bafd26a0a49ac3132dd633ef7fa00bee9 (patch) | |
| tree | df6e7b1a2d67903a7c82df0adae1058e60c8bafc /src/maven/install.sh | |
| parent | 1678006363e84a3641e9cf1ff1e9bf918c20db83 (diff) | |
maven and optional sdkman (#25)
* maven
* optional sdk man
Diffstat (limited to 'src/maven/install.sh')
| -rw-r--r-- | src/maven/install.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/maven/install.sh b/src/maven/install.sh index f8369f5..8472d71 100644 --- a/src/maven/install.sh +++ b/src/maven/install.sh @@ -7,12 +7,13 @@ # Docs: https://github.com/microsoft/vscode-dev-containers/blob/main/script-library/docs/maven.md # Maintainer: The VS Code and Codespaces Teams # -# Syntax: ./maven-debian.sh [maven version] [SDKMAN_DIR] [non-root user] [Update rc files flag] +# Syntax: ./maven-debian.sh [maven version] [non-root user] [Update rc files flag] MAVEN_VERSION=${1:-"latest"} -export SDKMAN_DIR=${2:-"/usr/local/sdkman"} -USERNAME=${3:-"automatic"} -UPDATE_RC=${4:-"true"} +USERNAME=${2:-"automatic"} +UPDATE_RC=${3:-"true"} + +SDKMAN_DIR=${SDKMAN_DIR:-"/usr/local/sdkman"} set -e |