diff options
author | Daniel Bermond | 2023-03-24 11:13:44 -0300 |
---|---|---|
committer | Daniel Bermond | 2023-03-24 11:13:44 -0300 |
commit | 0563e7cf40f9251bd3c27b5d7fedf4197dffe348 (patch) | |
tree | ea3558de0fba2368dfdd227dd67d53b84e54d804 /jdk.install | |
parent | f7765de00a8dc02695f5eec899cfc102d67f1241 (diff) | |
download | aur-0563e7cf40f9251bd3c27b5d7fedf4197dffe348.tar.gz |
Update to version 20
Diffstat (limited to 'jdk.install')
-rw-r--r-- | jdk.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jdk.install b/jdk.install index 9fea29086894..6b06ec3ae0c6 100644 --- a/jdk.install +++ b/jdk.install @@ -1,4 +1,4 @@ -THIS_JDK='java-19-jdk' +THIS_JDK='java-20-jdk' fix_default() { if [ ! -x /usr/bin/java ]; then @@ -42,7 +42,7 @@ post_upgrade() { pre_remove() { if [ "x$(fix_default)" = "x${THIS_JDK}" ]; then - # Check JRE19 is still available + # Check JRE20 is still available if [ -x /usr/lib/jvm/${THIS_JDK}/bin/java ]; then /usr/bin/archlinux-java unset fi |