add bash-it

2022-05-05 22:20:02 +02:00
parent 6a62a35d0d
commit 43701f0590
490 changed files with 33047 additions and 0 deletions
--- a/dot_bash_it/plugins/available/sdkman.plugin.bash
+++ b/dot_bash_it/plugins/available/sdkman.plugin.bash
@@ -0,0 +1,8 @@
+cite about-plugin
+about-plugin 'Load Software Development Kit Manager'
+
+# 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"