plugins/sdkman: Add cosmetic changes

This commit is contained in:
Koichi Murase
2021-12-24 22:58:58 +09:00
parent 1eea9542ea
commit 3f162a3466

View File

@@ -1,9 +1,9 @@
#!/usr/bin/env bash #!/usr/bin/env bash
# Set SDKMAN_DIR if it isn't already defined # Set SDKMAN_DIR if it isn't already defined
[[ -z "$SDKMAN_DIR" ]] && export SDKMAN_DIR="$HOME/.sdkman" [[ ${SDKMAN_DIR-} ]] || export SDKMAN_DIR=~/.sdkman
# Try to load sdk only if command not already available # Try to load sdk only if the command is not available
if ! type "sdk" &> /dev/null; then if ! type_exists sdk && [[ -s $SDKMAN_DIR/bin/sdkman-init.sh ]]; then
[[ -s "$SDKMAN_DIR/bin/sdkman-init.sh" ]] && source "$SDKMAN_DIR/bin/sdkman-init.sh" source "$SDKMAN_DIR/bin/sdkman-init.sh"
fi fi