|
| 1 | +#!/bin/bash |
| 2 | +# SDKMAN initialization wrapper script |
| 3 | +# This script is designed to be used as BASH_ENV to automatically configure |
| 4 | +# SDKMAN when .sdkmanrc files are present in the workspace. |
| 5 | +# |
| 6 | +# When BASH_ENV is set to this script, it will be sourced by every non-interactive |
| 7 | +# bash shell, ensuring SDKMAN is configured before any commands run. |
| 8 | + |
| 9 | +# Source SDKMAN initialization if it exists |
| 10 | +if [ -f "$HOME/.sdkman/bin/sdkman-init.sh" ]; then |
| 11 | + # SDKMAN requires errexit to be disabled during initialization |
| 12 | + set +o errexit +o xtrace |
| 13 | + |
| 14 | + # Source SDKMAN initialization |
| 15 | + source "$HOME/.sdkman/bin/sdkman-init.sh" |
| 16 | + |
| 17 | + # Check if .sdkmanrc exists in the current working directory or workspace |
| 18 | + # Jenkins workspace is typically in $WORKSPACE or current directory |
| 19 | + SDKMANRC_PATH="" |
| 20 | + if [ -f ".sdkmanrc" ]; then |
| 21 | + SDKMANRC_PATH=".sdkmanrc" |
| 22 | + elif [ -n "${WORKSPACE:-}" ] && [ -f "${WORKSPACE}/.sdkmanrc" ]; then |
| 23 | + SDKMANRC_PATH="${WORKSPACE}/.sdkmanrc" |
| 24 | + fi |
| 25 | + |
| 26 | + if [ -n "$SDKMANRC_PATH" ]; then |
| 27 | + # Change to the directory containing .sdkmanrc for sdk env install |
| 28 | + SDKMANRC_DIR=$(dirname "$SDKMANRC_PATH") |
| 29 | + if [ "$SDKMANRC_DIR" != "." ]; then |
| 30 | + cd "$SDKMANRC_DIR" || true |
| 31 | + fi |
| 32 | + # Install Java version specified in .sdkmanrc |
| 33 | + sdk env install || true |
| 34 | + # Re-source to ensure the new Java is on PATH |
| 35 | + source "$HOME/.sdkman/bin/sdkman-init.sh" |
| 36 | + fi |
| 37 | + |
| 38 | + # Re-enable errexit and xtrace |
| 39 | + set -o errexit -o xtrace |
| 40 | +fi |
| 41 | + |
0 commit comments