2022-01-15 19:00:35 +09:00
|
|
|
#! bash oh-my-bash.module
|
2020-05-11 12:59:06 +05:30
|
|
|
|
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
|
2020-05-11 12:59:06 +05:30
|
|
|
|
2021-12-24 22:58:58 +09:00
|
|
|
# Try to load sdk only if the command is not available
|
2021-12-28 07:34:53 +09:00
|
|
|
if ! _omb_util_command_exists sdk && [[ -s $SDKMAN_DIR/bin/sdkman-init.sh ]]; then
|
2021-12-24 22:58:58 +09:00
|
|
|
source "$SDKMAN_DIR/bin/sdkman-init.sh"
|
2020-05-11 12:59:06 +05:30
|
|
|
fi
|
