|
|
|
|
@ -18,13 +18,19 @@ if [[ $FOUND_JENV -eq 1 ]]; then |
|
|
|
|
(( $+commands[jenv] )) || export PATH="${jenvdir}/bin:$PATH" |
|
|
|
|
eval "$(jenv init - zsh)" |
|
|
|
|
|
|
|
|
|
function jenv_prompt_info() { jenv version-name 2>/dev/null } |
|
|
|
|
function jenv_prompt_info() { |
|
|
|
|
local version="$(jenv version-name 2>/dev/null)" |
|
|
|
|
echo "${version:gs/%/%%}" |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
if [[ -d "${jenvdir}/versions" ]]; then |
|
|
|
|
export JENV_ROOT=$jenvdir |
|
|
|
|
fi |
|
|
|
|
else |
|
|
|
|
function jenv_prompt_info() { echo "system: $(java -version 2>&1 | cut -f 2 -d ' ')" } |
|
|
|
|
function jenv_prompt_info() { |
|
|
|
|
local version="$(java -version 2>&1 | cut -d' ' -f2)" |
|
|
|
|
echo "system: ${version:gs/%/%%}" |
|
|
|
|
} |
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
unset jenvdir jenvdirs FOUND_JENV |
|
|
|
|
|