diff options
| author | Robby Russell <robby@planetargon.com> | 2019-02-13 11:38:35 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-13 11:38:35 -0800 |
| commit | f7fa3df160a008335b1c6456b1b0034a47342ba5 (patch) | |
| tree | 03be32820c0c890a9ab9109baf3cb281fab1c122 | |
| parent | 7af85aae43cfa4ca280a11a47e160eb539980b15 (diff) | |
| parent | 12c516822c7017355e264540b236405e1ab49a84 (diff) | |
| download | zsh-f7fa3df160a008335b1c6456b1b0034a47342ba5.tar.gz zsh-f7fa3df160a008335b1c6456b1b0034a47342ba5.tar.bz2 zsh-f7fa3df160a008335b1c6456b1b0034a47342ba5.zip | |
Merge pull request #7541 from jessefarinacci/master
add brew install path to search
| -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 |