POSTIN

/bin/sh

MAKE_THIS_DEFAULT=0
ID="/usr/share/javadoc/java-1.7.0-openjdk.*/api"
COMMAND=javadocdir
alternatives --display $COMMAND | head -n 1 | grep -q "status is auto"
if [ $? -ne 0 ]; then
  alternatives --display $COMMAND | grep -q "link currently points to"".*""$ID"
  if [ $? -eq 0 ]; then
    MAKE_THIS_DEFAULT=1
  fi
fi

# Remove old alternatives
for alt in $(alternatives --display $COMMAND | grep priority | awk '{print $1}'); do
  # Only grab what openjdk installed
  echo $alt | grep -q "$ID"
  if [ $? -eq 0 ]; then
    alternatives --remove $COMMAND $alt >& /dev/null || :
   fi
done

alternatives \
  --install /usr/share/javadoc/java javadocdir /usr/share/javadoc/java-1.7.0-openjdk-1.7.0.65-2.5.1.1.mga4/api \
  170065

# Gracefully update to this one if needed
if [ $MAKE_THIS_DEFAULT -eq 1 ]; then
  alternatives --set $COMMAND /usr/share/javadoc/java-1.7.0-openjdk-1.7.0.65-2.5.1.1.mga4/api
fi

exit 0

POSTUN

/bin/sh

  alternatives --remove javadocdir /usr/share/javadoc/java-1.7.0-openjdk-1.7.0.65-2.5.1.1.mga4/api

exit 0