diff options
| author | Jesse Farinacci <jesse.farinacci@gmail.com> | 2019-01-22 10:09:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-22 10:09:07 -0500 |
| commit | 12c516822c7017355e264540b236405e1ab49a84 (patch) | |
| tree | dcf19ccaf3e495c44025196f057525a35239ee25 /plugins | |
| parent | c4948696328eab3b954932eb940ec8ec97b12906 (diff) | |
| download | zsh-12c516822c7017355e264540b236405e1ab49a84.tar.gz zsh-12c516822c7017355e264540b236405e1ab49a84.tar.bz2 zsh-12c516822c7017355e264540b236405e1ab49a84.zip | |
add brew install path to search
recent `brew install jenv` installs to `/usr/local/bin/jenv`, auto-discover it for recent brew installs to avoid secondary, slower search
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/jenv/jenv.plugin.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/jenv/jenv.plugin.zsh b/plugins/jenv/jenv.plugin.zsh index 14c586be9..2eda8037b 100644 --- a/plugins/jenv/jenv.plugin.zsh +++ b/plugins/jenv/jenv.plugin.zsh @@ -1,4 +1,4 @@ -jenvdirs=("$HOME/.jenv" "/usr/local/jenv" "/opt/jenv") +jenvdirs=("$HOME/.jenv" "/usr/local" "/usr/local/jenv" "/opt/jenv") FOUND_JENV=0 for jenvdir in $jenvdirs; do |