From 3f162a3466de64a14aceaa732a7bbe2cd1adab2b Mon Sep 17 00:00:00 2001 From: Koichi Murase Date: Fri, 24 Dec 2021 22:58:58 +0900 Subject: [PATCH] plugins/sdkman: Add cosmetic changes --- plugins/sdkman/sdkman.plugin.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/plugins/sdkman/sdkman.plugin.sh b/plugins/sdkman/sdkman.plugin.sh index c0db588..ed4e0c0 100644 --- a/plugins/sdkman/sdkman.plugin.sh +++ b/plugins/sdkman/sdkman.plugin.sh @@ -1,9 +1,9 @@ #!/usr/bin/env bash # 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 -if ! type "sdk" &> /dev/null; then - [[ -s "$SDKMAN_DIR/bin/sdkman-init.sh" ]] && source "$SDKMAN_DIR/bin/sdkman-init.sh" +# 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