Use custom SDKMAN_DIR if set

2017-10-21 19:15:55 -04:00
parent 6d8b0a68ba
commit 083974484e
1 changed files with 5 additions and 1 deletions
--- a/plugins/available/sdkman.plugin.bash
+++ b/plugins/available/sdkman.plugin.bash
@@ -1,5 +1,9 @@
 cite about-plugin
 about-plugin 'Load Software Development Kit Manager'

-export SDKMAN_DIR="$HOME/.sdkman"
+# Use $SDKMAN_DIR if defined,
+# otherwise default to ~/.sdkman
+export SDKMAN_DIR=${SDKMAN_DIR:-$HOME/.sdkman}
+
 [[ -s "${SDKMAN_DIR}/bin/sdkman-init.sh" ]] && source "${SDKMAN_DIR}/bin/sdkman-init.sh"
+