oh-my-bash/plugins/sdkman/sdkman.plugin.sh
2021-12-24 20:45:35 +09:00

10 lines
312 B
Bash

#!/usr/bin/env bash
# Set SDKMAN_DIR if it isn't already defined
[[ -z "$SDKMAN_DIR" ]] && export SDKMAN_DIR="$HOME/.sdkman"
# Try to load sdk only if command not already available
if ! type "sdk" &> /dev/null; then
[[ -s "$HOME/.sdkman/bin/sdkman-init.sh" ]] && source "$HOME/.sdkman/bin/sdkman-init.sh"
fi