index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2021-05-20 09:56:18 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2021-05-20 09:56:18 +0200 |
commit | 86b73247503aa2cb7b0dd80f20ae550db32c506d (patch) | |
tree | 55078890704a428b560875fadff545644e35aa99 /build-support/disabled/java/java8-openjdk/install_jre8-openjdk.sh | |
parent | 080e8bddf48ef20b25e13e0ad6a3be014edf937e (diff) |
-rw-r--r-- | build-support/disabled/java/java8-openjdk/install_jre8-openjdk.sh | 42 |
diff --git a/build-support/disabled/java/java8-openjdk/install_jre8-openjdk.sh b/build-support/disabled/java/java8-openjdk/install_jre8-openjdk.sh deleted file mode 100644 index aef58588..00000000 --- a/build-support/disabled/java/java8-openjdk/install_jre8-openjdk.sh +++ /dev/null @@ -1,42 +0,0 @@ -THIS_JRE='java-8-openjdk/jre' - -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} | ${THIS_JRE/\/jre}) - # Nothing - ;; - *) - echo "Default Java environment is already set to '${default}'" - echo "See 'archlinux-java help' to change it" - ;; - esac - - echo "when you use a non-reparenting window manager," - echo "set _JAVA_AWT_WM_NONREPARENTING=1 in /etc/profile.d/jre.sh" -} - -post_upgrade() { - if [ -z "$(fix_default)" ]; then - /usr/bin/archlinux-java set ${THIS_JRE} - fi -} - -pre_remove() { - if [ "x$(fix_default)" = "x${THIS_JRE/\/jre}" ]; then - /usr/bin/archlinux-java unset - echo "No Java environment is set as default anymore" - fi -} |