install_jre-openjdk-headless.sh 940 B

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. THIS_JRE='java-22-openjdk'
  2. fix_default() {
  3. if [ ! -x /usr/bin/java ]; then
  4. /usr/bin/archlinux-java unset
  5. echo ""
  6. else
  7. /usr/bin/archlinux-java get
  8. fi
  9. }
  10. post_install() {
  11. default=$(fix_default)
  12. case ${default} in
  13. "")
  14. /usr/bin/archlinux-java set ${THIS_JRE}
  15. ;;
  16. ${THIS_JRE})
  17. # Nothing
  18. ;;
  19. *)
  20. echo "Default Java environment is already set to '${default}'"
  21. echo "See 'archlinux-java help' to change it"
  22. ;;
  23. esac
  24. if [ ! -f /etc/ssl/certs/java/cacerts ]; then
  25. /usr/bin/update-ca-trust
  26. fi
  27. }
  28. post_upgrade() {
  29. if [ -z "$(fix_default)" ]; then
  30. /usr/bin/archlinux-java set ${THIS_JRE}
  31. fi
  32. if [ ! -f /etc/ssl/certs/java/cacerts ]; then
  33. /usr/bin/update-ca-trust
  34. fi
  35. }
  36. pre_remove() {
  37. default=$(fix_default)
  38. if [ "x${default}" = "x${THIS_JRE}" ]; then
  39. /usr/bin/archlinux-java unset
  40. echo "No Java environment is set as default anymore"
  41. fi
  42. }