diff options
author | Your Name | 2021-11-13 13:26:33 +0800 |
---|---|---|
committer | Your Name | 2021-11-13 13:26:33 +0800 |
commit | a0b94a83159a21becb92ef6f665cef6aa70a6502 (patch) | |
tree | 594d4df21a41bbff28546481cb2418b5fc22e867 /install_jre-jetbrains-headless.sh | |
parent | f93d49fcdd5507b01aa8db6c9cade13845ca985d (diff) | |
download | aur-a0b94a83159a21becb92ef6f665cef6aa70a6502.tar.gz |
Update b1751.19 & Bundle JCEF
Diffstat (limited to 'install_jre-jetbrains-headless.sh')
-rw-r--r-- | install_jre-jetbrains-headless.sh | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/install_jre-jetbrains-headless.sh b/install_jre-jetbrains-headless.sh deleted file mode 100644 index 425d0620efdc..000000000000 --- a/install_jre-jetbrains-headless.sh +++ /dev/null @@ -1,48 +0,0 @@ -THIS_JRE='java-11-jetbrains' - -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_JRE} - ;; - ${THIS_JRE}) - # 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() { - if [ -z "$(fix_default)" ]; then - /usr/bin/archlinux-java set ${THIS_JRE} - fi - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -pre_remove() { - default=$(fix_default) - if [ "x${default}" = "x${THIS_JRE}" ]; then - /usr/bin/archlinux-java unset - echo "No Java environment is set as default anymore" - fi -} |