bozdaglab's picture
Redesign workbench dashboard shell (#1)
2e6a2a4
Raw History Blame Contribute Delete
571 Bytes
#!/bin/sh
set -eu
BASE_DIR="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)"
MAVEN_VERSION="3.9.11"
MAVEN_DIR="$BASE_DIR/.mvn/apache-maven-$MAVEN_VERSION"
MAVEN_ZIP="$BASE_DIR/.mvn/apache-maven-$MAVEN_VERSION-bin.zip"
MAVEN_URL="https://archive.apache.org/dist/maven/maven-3/$MAVEN_VERSION/binaries/apache-maven-$MAVEN_VERSION-bin.zip"
if [ ! -x "$MAVEN_DIR/bin/mvn" ]; then
mkdir -p "$BASE_DIR/.mvn"
if [ ! -f "$MAVEN_ZIP" ]; then
curl -fsSL "$MAVEN_URL" -o "$MAVEN_ZIP"
fi
(cd "$BASE_DIR/.mvn" && unzip -q -o "$MAVEN_ZIP")
fi
exec "$MAVEN_DIR/bin/mvn" "$@"