java7-openjdk/trunk/jre7-openjdk.install

   1 THIS_JRE='java-7-openjdk/jre'
   2
   3 fix_default() {
   4   if [ ! -x /usr/bin/java ]; then
   5     /usr/bin/archlinux-java unset
   6     echo ""
   7   else
   8     /usr/bin/archlinux-java get
   9   fi
  10 }
  11
  12 post_install() {
  13   default=$(fix_default)
  14   case ${default} in
  15     "")
  16       /usr/bin/archlinux-java set ${THIS_JRE}
  17       ;;
  18     ${THIS_JRE} | ${THIS_JRE/\/jre})
  19       # Nothing
  20       ;;
  21     *)
  22       echo "Default Java environment is already set to '${default}'"
  23       echo "See 'archlinux-java help' to change it"
  24       ;;
  25   esac
  26
  27   xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
  28   echo "when you use a non-reparenting window manager,"
  29   echo "set _JAVA_AWT_WM_NONREPARENTING=1 in /etc/profile.d/jre.sh"
  30
  31 #  update-desktop-database -q
  32 }
  33
  34 post_upgrade() {
  35   if [ -z $(fix_default) ]; then
  36     /usr/bin/archlinux-java set ${THIS_JRE}
  37   fi
  38
  39   xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
  40
  41 #  update-desktop-database -q
  42 }
  43
  44 pre_remove() {
  45   if [ "x$(fix_default)" = "x${THIS_JRE/\/jre}" ]; then
  46     /usr/bin/archlinux-java unset
  47     echo "No Java environment is set as default anymore"
  48   fi
  49 }
  50
  51 post_remove() {
  52   xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
  53
  54 #  update-desktop-database -q
  55 }