jenv: only add to PATH if not already on it (#8414)
This prevents the jenv plugin from messing up the PATH and putting `user/local/bin` back at the front of the PATH, undoing any careful setup done before enabling this plugin.
Diff
1diff --git a/plugins/jenv/jenv.plugin.zsh b/plugins/jenv/jenv.plugin.zsh
2index 2eda8037bb8d33b010a33559555d3b587e86f2cb..b85906a0b9f2d839974f8e457a8955d51c1d12f4 100644
3--- a/plugins/jenv/jenv.plugin.zsh
4+++ b/plugins/jenv/jenv.plugin.zsh
5@@ -15,7 +15,7 @@ if [[ $FOUND_JENV -eq 0 ]]; then
6 fi
7 8 if [[ $FOUND_JENV -eq 1 ]]; then
9- export PATH="${jenvdir}/bin:$PATH"
10+ (( $+commands[jenv] )) || export PATH="${jenvdir}/bin:$PATH"
11 eval "$(jenv init - zsh)"
1213 function jenv_prompt_info() { jenv version-name 2>/dev/null }