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 }