blob: 1bf5300ad0a5f04f8d7d89924c9957ba73a2715b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
if [ -f "$HOME/.sdkman/bin/sdkman-init.sh" ] ; then
source "$HOME/.sdkman/bin/sdkman-init.sh"
else
function sdk() {
vared -p 'No SDKMAN found, install it?: (y/N) ' -c answer
case "$answer" in
y|Y)
unset sdk
curl -s "https://get.sdkman.io?rcupdate=false" | bash
source "$HOME/.sdkman/bin/sdkman-init.sh"
;;
esac
}
fi
|