diff --git a/extra/java7-openjdk/jdk7-openjdk.install b/extra/java7-openjdk/jdk7-openjdk.install new file mode 100644 index 000000000..01ad34c81 --- /dev/null +++ b/extra/java7-openjdk/jdk7-openjdk.install @@ -0,0 +1,38 @@ +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 +}