From 080e8bddf48ef20b25e13e0ad6a3be014edf937e Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 20 May 2021 09:54:09 +0200
Subject: added bin32-jdk6 to build-support (disabled)

---
 .../disabled/java/bin32-jdk6/bin32-jdk6.install    | 71 ++++++++++++++++++++++
 1 file changed, 71 insertions(+)
 create mode 100644 build-support/disabled/java/bin32-jdk6/bin32-jdk6.install

(limited to 'build-support/disabled/java/bin32-jdk6/bin32-jdk6.install')

diff --git a/build-support/disabled/java/bin32-jdk6/bin32-jdk6.install b/build-support/disabled/java/bin32-jdk6/bin32-jdk6.install
new file mode 100644
index 00000000..3d623c37
--- /dev/null
+++ b/build-support/disabled/java/bin32-jdk6/bin32-jdk6.install
@@ -0,0 +1,71 @@
+THIS_JAVA='java32-6-jdk'
+NAME='32-bit JDK 6'
+
+all_off="$(tput sgr0)"
+bold="${all_off}$(tput bold)"
+blue="${bold}$(tput setaf 4)"
+yellow="${bold}$(tput setaf 3)"
+
+note() {
+    printf "${blue}::${yellow} archlinux-java32:${bold} $1${all_off}\n"
+}
+
+update_desktop() {
+    update-desktop-database -q
+    update-mime-database /usr/share/mime >/dev/null
+    xdg-icon-resource forceupdate &>/dev/null
+}
+
+post_install() {
+    default=$(archlinux-java32 get)
+    case ${default} in
+        "")
+            archlinux-java32 set ${THIS_JAVA}
+            note "${NAME} ('${THIS_JAVA}') set as default Java environment."
+            ;;
+        ${THIS_JAVA})
+            note "${NAME} ('${THIS_JAVA}') set as default Java environment."
+            ;;
+        *)
+            note "Default Java environment already set to '${default}'.
+                     To use ${NAME} ('${THIS_JAVA}'), run:
+                       # archlinux-java32 set ${THIS_JAVA}
+                     For status, use:
+                       $ archlinux-java32 status"
+            ;;
+    esac
+
+    if [[ ! -f /etc/ssl/certs/java/cacerts ]]; then
+        update-ca-trust
+    fi
+
+    update_desktop
+}
+
+post_upgrade() {
+    post_install
+}
+
+pre_remove() {
+    default=$(archlinux-java32 get)
+    if [[ ${default} = ${THIS_JAVA} ]]; then
+        archlinux-java32 unset
+    fi
+}
+
+post_remove() {
+    default=$(archlinux-java32 get) # reassign
+    if [[ ${default} ]]; then
+        note "Default Java environment is '${default}'."
+    else
+        archlinux-java32 fix
+        default=$(archlinux-java32 get) # re-reassign
+        if [[ ${default} ]]; then
+            note "Default Java environment left as '${default}'."
+        else
+            note "Java environment unset."
+        fi
+    fi
+
+    update_desktop
+}
-- 
cgit v1.2.3-54-g00ecf