Files
linux-workspace/rc/sdkman.sh
T
2026-07-13 06:06:18 +02:00

6 lines
132 B
Bash

: "${SDKMAN_DIR:=$HOME/.sdkman}"
if [[ -d $SDKMAN_DIR ]]; then
export SDKMAN_DIR
source_try "$SDKMAN_DIR/bin/sdkman-init.sh"
fi