diff --git a/plugins/available/sdkman.plugin.bash b/plugins/available/sdkman.plugin.bash index 0f3722b6..072fbbb3 100644 --- a/plugins/available/sdkman.plugin.bash +++ b/plugins/available/sdkman.plugin.bash @@ -1,5 +1,9 @@ cite about-plugin about-plugin 'Load Software Development Kit Manager' -export SDKMAN_DIR="$HOME/.sdkman" +# Use $SDKMAN_DIR if defined, +# otherwise default to ~/.sdkman +export SDKMAN_DIR=${SDKMAN_DIR:-$HOME/.sdkman} + [[ -s "${SDKMAN_DIR}/bin/sdkman-init.sh" ]] && source "${SDKMAN_DIR}/bin/sdkman-init.sh" +