From eb9e6dbb8837bb0d588762b74bdd716b9ccdd59c Mon Sep 17 00:00:00 2001
From: Ein Verne <git@einverne.info>
Date: Mon, 26 Dec 2022 10:25:38 +0800
Subject: [PATCH] Upgrade default JAVA HOME to Java 17

---
 zsh/env.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zsh/env.zsh b/zsh/env.zsh
index 55a283f..8a9666e 100644
--- a/zsh/env.zsh
+++ b/zsh/env.zsh
@@ -69,7 +69,7 @@ if [[ -d "/usr/local/jdk1.8.0_131" ]]; then
     export PATH=$PATH:$JAVA_HOME/bin/
 fi
 if [[ -d "$HOME/.asdf/installs/java/adoptopenjdk-8.0.265+1/" ]]; then
-	export JAVA_HOME=$HOME/.asdf/installs/java/adoptopenjdk-8.0.265+1/
+	export JAVA_HOME=$HOME/.asdf/installs/java/openjdk-17/
 	export PATH=$PATH:$JAVA_HOME/bin/
 fi
 # . ~/.asdf/plugins/java/set-java-home.zsh