Parent directory

jenv.plugin.zsh

897 bytes
 1jenvdirs=("$HOME/.jenv" "/usr/local/bin/jenv" "/usr/local/jenv" "/opt/jenv")
 2
 3FOUND_JENV=0
 4for jenvdir in $jenvdirs; do
 5    if [[ -d "${jenvdir}/bin" ]]; then
 6        FOUND_JENV=1
 7        break
 8    fi
 9done
10
11if [[ $FOUND_JENV -eq 0 ]]; then
12    if (( $+commands[brew] )) && jenvdir="$(brew --prefix jenv)"; then
13        [[ -d "${jenvdir}/bin" ]] && FOUND_JENV=1
14    fi
15fi
16
17if [[ $FOUND_JENV -eq 1 ]]; then
18    (( $+commands[jenv] )) || export PATH="${jenvdir}/bin:$PATH"
19    eval "$(jenv init - zsh)"
20
21    function jenv_prompt_info() {
22      local version="$(jenv version-name 2>/dev/null)"
23      echo "${version:gs/%/%%}"
24    }
25
26    if [[ -d "${jenvdir}/versions" ]]; then
27        export JENV_ROOT=$jenvdir
28    fi
29else
30    function jenv_prompt_info() {
31      local version="$(java -version 2>&1 | cut -d' ' -f2)"
32      echo "system: ${version:gs/%/%%}"
33    }
34fi
35
36unset jenvdir jenvdirs FOUND_JENV