XorA
/
bash-it
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #1066 from mmasi-attivio/sdkman-dir 

Use custom SDKMAN_DIR if set
pull/1067/head
Nils Winkler 2017-10-23 18:20:10 +02:00 committed by GitHub
parent 6d8b0a68ba 083974484e
commit 4dfca63d6c
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
plugins/available/sdkman.plugin.bash
View File

@ -1,5 +1,9 @@
cite about-plugin cite about-plugin
about-plugin 'Load Software Development Kit Manager' 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" [[ -s "${SDKMAN_DIR}/bin/sdkman-init.sh" ]] && source "${SDKMAN_DIR}/bin/sdkman-init.sh"