Files
oh-my-bash/plugins/sdkman/sdkman.plugin.sh

10 lines
289 B
Bash
Raw Normal View History

#!/usr/bin/env bash
2021-05-31 09:42:30 -05:00
# Set SDKMAN_DIR if it isn't already defined
2021-12-24 22:58:58 +09:00
[[ ${SDKMAN_DIR-} ]] || export SDKMAN_DIR=~/.sdkman
2021-12-24 22:58:58 +09:00
# Try to load sdk only if the command is not available
if ! type_exists sdk && [[ -s $SDKMAN_DIR/bin/sdkman-init.sh ]]; then
source "$SDKMAN_DIR/bin/sdkman-init.sh"
fi