core/openjdk7/openjdk7.install
Daniele 8bf048dd7c Improving the openjdk7 PKGBUILD.
It's now a split package providing openjdk7 and openjdk7-src, the /etc/profile.d dropin configurations, symlinks into /usr/bin and fixed manual page paths.
2012-08-11 15:52:21 +02:00

19 lines
436 B
Plaintext

post_install() {
xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
if [ ! -f /etc/ssl/certs/java/cacerts ]; then
/usr/sbin/init-jks-keystore
fi
echo "When you use a non-reparenting window manager"
echo "set _JAVA_AWT_WM_NONREPARENTING=1 in the relevant"
echo "/etc/profile.d/openjdk7.* file."
}
post_upgrade() {
post_install
}
post_remove() {
xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
}