renamed gvmtool to sdkman

This commit is contained in:
Frank Becker
2015-09-23 12:30:13 +02:00
parent 5738e5d45e
commit e2a596b708
3 changed files with 17 additions and 18 deletions

View File

@@ -0,0 +1,5 @@
cite about-plugin
about-plugin 'Load Software Development Kit Manager'
export SDKMAN_DIR="$HOME/.sdkman"
[[ -s "${SDKMAN_DIR}/bin/sdkman-init.sh" ]] && source "${SDKMAN_DIR}/bin/sdkman-init.sh"