diff options
author | ㄗㄠˋ ㄑㄧˊ | 2021-08-29 04:10:18 +0000 |
---|---|---|
committer | ㄗㄠˋ ㄑㄧˊ | 2021-08-29 04:21:56 +0000 |
commit | 4f3badca8b8f91c8b23d28968dea457ae7e0f433 (patch) | |
tree | 8c98f0a128b6c45863d07d578299c20c582d7044 /jdk11-graalvm-bin.install | |
parent | e647c333799df416782f9686ca64eb0dbff0f94b (diff) | |
download | aur-4f3badca8b8f91c8b23d28968dea457ae7e0f433.tar.gz |
21.3.0-dev-20210827_1945
Diffstat (limited to 'jdk11-graalvm-bin.install')
-rw-r--r-- | jdk11-graalvm-bin.install | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/jdk11-graalvm-bin.install b/jdk11-graalvm-bin.install deleted file mode 100644 index 46860d630bbc..000000000000 --- a/jdk11-graalvm-bin.install +++ /dev/null @@ -1,47 +0,0 @@ -THIS_JDK='java-11-graalvm' - -fix_default() { - if [ ! -x /usr/bin/java ]; then - /usr/bin/archlinux-java unset - echo "" - else - /usr/bin/archlinux-java get - fi -} - -post_install() { - default=$(fix_default) - case ${default} in - "") - /usr/bin/archlinux-java set ${THIS_JDK} - ;; - ${THIS_JDK}) - # Nothing - ;; - *) - echo "Default Java environment is already set to '${default}'" - echo "See 'archlinux-java help' to change it" - ;; - esac - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -post_upgrade() { - default=$(fix_default) - if [ -z "${default}" ]; then - /usr/bin/archlinux-java set ${THIS_JDK} - fi - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -pre_remove() { - if [ "x$(fix_default)" = "x${THIS_JDK}" ]; then - /usr/bin/archlinux-java unset - fi -} |