diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2018-08-19 19:36:52 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-08-19 19:36:52 +0200 |
| commit | cb7a3e38aaa9f395d0a2887d7590375ee4ddf72b (patch) | |
| tree | b9361c0a63125fd11ebebdf0d16dba2305988881 /plugins/jenv/jenv.plugin.zsh | |
| parent | ff6b4c835be54a9529a88849b83284aee61a7126 (diff) | |
| parent | 3a822bb5fdc30e5b623f409af5c894fe9ad90d15 (diff) | |
| download | zsh-cb7a3e38aaa9f395d0a2887d7590375ee4ddf72b.tar.gz zsh-cb7a3e38aaa9f395d0a2887d7590375ee4ddf72b.tar.bz2 zsh-cb7a3e38aaa9f395d0a2887d7590375ee4ddf72b.zip | |
Merge branch 'jburwell/jenv-plugin'
Closes #3406
Closes #4972
Closes #4523
Closes #5964
Diffstat (limited to 'plugins/jenv/jenv.plugin.zsh')
| -rw-r--r-- | plugins/jenv/jenv.plugin.zsh | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/plugins/jenv/jenv.plugin.zsh b/plugins/jenv/jenv.plugin.zsh new file mode 100644 index 000000000..6c52635bb --- /dev/null +++ b/plugins/jenv/jenv.plugin.zsh @@ -0,0 +1,30 @@ +jenvdirs=("$HOME/.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 + FOUND_JENV=1 + fi +fi + +if [[ $FOUND_JENV -eq 1 ]]; then + export PATH="${jenvdir}/bin:$PATH" + eval "$(jenv init - zsh)" + + function jenv_prompt_info() { jenv version-name 2>/dev/null } + + 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 ' ')" } +fi + +unset jenvdir FOUND_JENV |