index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2025-03-16 20:27:01 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2025-03-16 20:27:01 +0100 |
commit | 767096c97d9366f36ef531b49381f1a3b3326146 (patch) | |
tree | d7919877345a794eb55f580726eb0f3def1a178d /build-support/disabled/java/bin32-jdk6/bin32-jdk6.install | |
parent | b79b42e58b90a54eb5644ae10d04b5bfde26fb75 (diff) |
-rw-r--r-- | build-support/disabled/java/bin32-jdk6/bin32-jdk6.install | 71 |
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 +} |