Files
linux-workspace/rc.local/sdkman.sh
2024-03-19 06:10:06 +01:00

6 lines
134 B
Bash

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