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.75-2.5.4.1.mga4/api \
170075
# 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.75-2.5.4.1.mga4/api
fi
exit 0
POSTUN
/bin/sh
alternatives --remove javadocdir /usr/share/javadoc/java-1.7.0-openjdk-1.7.0.75-2.5.4.1.mga4/api
exit 0