diff options
Diffstat (limited to '.zshrc')
| -rw-r--r-- | .zshrc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.zshrc b/.zshrc index 6f01d13..a0773eb 100644 --- a/.zshrc +++ b/.zshrc @@ -144,3 +144,10 @@ fi device_postconfig + +# //// really actually end of file stuff ////////////////////// <eof-step> // # + +if [[ -v DEVICE_HAS_SDKMAN ]]; then + export SDKMAN_DIR="$DEVICE_SDKMAN_INSTALLATION" + source "$DEVICE_SDKMAN_INSTALLATION/bin/sdkman-init.sh" +fi |