PKGBUILDs/extra/java7-openjdk/jdk7-openjdk.install

39 lines
1.1 KiB
Text
Raw Normal View History

2014-08-17 15:22:03 +00:00
this_java='java-7-openjdk'
post_install() {
default=$(/usr/bin/archlinux-java get)
if [ -z "${default}" ]; then
/usr/bin/archlinux-java set ${this_java}
elif [ "${default/\/jre}" = "${this_java/\/jre}" ]; then
/usr/bin/archlinux-java fix
else
echo "Default Java environment is already set to '${default}'"
echo "To set '${this_java}' as default, consider using:"
echo " archlinux-java set '${this_java}'"
fi
if [ ! -f /etc/ssl/certs/java/cacerts ]; then
JAVA_HOME=/usr/lib/jvm/java-default-runtime /usr/bin/init-jks-keystore
fi
}
post_upgrade() {
default=$(/usr/bin/archlinux-java get)
if [ -z "${default}" ]; then
/usr/bin/archlinux-java set ${this_java}
elif [ "${default/\/jre}" = "${this_java/\/jre}" ]; then
/usr/bin/archlinux-java fix
fi
if [ ! -f /etc/ssl/certs/java/cacerts ]; then
JAVA_HOME=/usr/lib/jvm/java-default-runtime /usr/bin/init-jks-keystore
fi
}
pre_remove() {
default=$(/usr/bin/archlinux-java get)
if [ "${default/\/jre}" = "${this_java/\/jre}" ]; then
/usr/bin/archlinux-java set ${this_java}/jre
fi
}