2020-05-26 18:02:14 +02:00
|
|
|
jenvdirs=("$HOME/.jenv" "/usr/local/bin/jenv" "/usr/local/jenv" "/opt/jenv")
|
2016-04-03 07:08:06 +02:00
|
|
|
|
|
|
|
FOUND_JENV=0
|
2018-08-19 19:32:48 +02:00
|
|
|
for jenvdir in $jenvdirs; do
|
|
|
|
if [[ -d "${jenvdir}/bin" ]]; then
|
2016-04-03 07:08:06 +02:00
|
|
|
FOUND_JENV=1
|
2018-08-19 19:32:48 +02:00
|
|
|
break
|
|
|
|
fi
|
|
|
|
done
|
2016-04-03 07:08:06 +02:00
|
|
|
|
2018-08-19 19:32:48 +02:00
|
|
|
if [[ $FOUND_JENV -eq 0 ]]; then
|
|
|
|
if (( $+commands[brew] )) && jenvdir="$(brew --prefix jenv)"; then
|
2018-08-19 22:33:44 +02:00
|
|
|
[[ -d "${jenvdir}/bin" ]] && FOUND_JENV=1
|
2016-04-03 07:08:06 +02:00
|
|
|
fi
|
2018-08-19 19:32:48 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ $FOUND_JENV -eq 1 ]]; then
|
2019-11-20 18:05:16 +01:00
|
|
|
(( $+commands[jenv] )) || export PATH="${jenvdir}/bin:$PATH"
|
2018-08-19 19:32:48 +02:00
|
|
|
eval "$(jenv init - zsh)"
|
|
|
|
|
2021-12-26 19:34:30 +01:00
|
|
|
function jenv_prompt_info() {
|
|
|
|
local version="$(jenv version-name 2>/dev/null)"
|
|
|
|
echo "${version:gs/%/%%}"
|
|
|
|
}
|
2018-08-19 19:32:48 +02:00
|
|
|
|
|
|
|
if [[ -d "${jenvdir}/versions" ]]; then
|
2016-04-03 07:08:06 +02:00
|
|
|
export JENV_ROOT=$jenvdir
|
|
|
|
fi
|
2018-08-19 19:32:48 +02:00
|
|
|
else
|
2021-12-26 19:34:30 +01:00
|
|
|
function jenv_prompt_info() {
|
|
|
|
local version="$(java -version 2>&1 | cut -d' ' -f2)"
|
|
|
|
echo "system: ${version:gs/%/%%}"
|
|
|
|
}
|
2016-04-03 07:08:06 +02:00
|
|
|
fi
|
2018-08-19 19:32:48 +02:00
|
|
|
|
2018-08-19 19:43:35 +02:00
|
|
|
unset jenvdir jenvdirs FOUND_JENV
|