安装jenv后导致无法设置JAVA_HOME

经常安装jenv的都知道，以macos的zsh为例

1、brew install jenv

2、echo 'export PATH="$HOME/.jenv/bin:$PATH"' >> ~/.zshrc

　　echo 'eval "$(jenv init -)"' >> ~/.zshrc

3、jenv add /Library/Java/JavaVirtualMachines/openjdk-8.jdk/Contents/Home/

　　jenv add /Library/Java/JavaVirtualMachines/openjdk-11.jdk/Contents/Home/

　　jenv add /Library/Java/JavaVirtualMachines/openjdk-17.jdk/Contents/Home/

4、jenv global   1.8/11/17

5、jenv  doctor就会看到如下提示

[OK] No JAVA_HOME set

[OK] Java binaries in path are jenv shims

[OK] Jenv is correctly loaded

就是JAVA_HOME无法设置，即使在.zshrc中手动配置也无济于事，查了很久发现是需要安装一个插件export，执行如下操作：

jenv enable-plugin export

再命令行jenv   doctor就会发现

[OK] JAVA_HOME variable probably set by jenv PROMPT

[OK] Java binaries in path are jenv shims

[OK] Jenv is correctly loaded

6、当然如果想安装maven、gradle插件就执行

jenv enable-plugin maven/gradle即可