12345678910111213141516171819202122232425262728293031323334353637 |
- jenvdirs=("$HOME/.jenv" "/usr/local/bin/jenv" "/usr/local/jenv" "/opt/jenv")
- FOUND_JENV=0
- for jenvdir in $jenvdirs; do
- if [[ -d "${jenvdir}/bin" ]]; then
- FOUND_JENV=1
- break
- fi
- done
- if [[ $FOUND_JENV -eq 0 ]]; then
- if (( $+commands[brew] )) && jenvdir="$(brew --prefix jenv)"; then
- [[ -d "${jenvdir}/bin" ]] && FOUND_JENV=1
- fi
- fi
- if [[ $FOUND_JENV -eq 1 ]]; then
- (( $+commands[jenv] )) || export PATH="${jenvdir}/bin:$PATH"
- eval "$(jenv init - zsh)"
- 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() {
- local version="$(java -version 2>&1 | cut -d' ' -f2)"
- echo "system: ${version:gs/%/%%}"
- }
- fi
- unset jenvdir jenvdirs FOUND_JENV
|