diff options
author | root <root@rshg054.dnsready.net> | 2012-01-10 23:15:00 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-01-10 23:15:00 +0000 |
commit | b8012183bbaae70ce4a714c618a967e85df9f521 (patch) | |
tree | 1df6f612c4f75faa9f54467e0a856bcdde0b6a1a /testing/java7-openjdk/jre7-openjdk.install | |
parent | fdcaf644692e151ddc596b148465ce4a77e6b670 (diff) |
Tue Jan 10 23:14:59 UTC 2012
Diffstat (limited to 'testing/java7-openjdk/jre7-openjdk.install')
-rw-r--r-- | testing/java7-openjdk/jre7-openjdk.install | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/testing/java7-openjdk/jre7-openjdk.install b/testing/java7-openjdk/jre7-openjdk.install new file mode 100644 index 000000000..d98e79ec5 --- /dev/null +++ b/testing/java7-openjdk/jre7-openjdk.install @@ -0,0 +1,18 @@ +post_install() { + xdg-icon-resource forceupdate --theme hicolor 2> /dev/null + echo "when you use a non-reparenting window manager" + echo "set _JAVA_AWT_WM_NONREPARENTING=1 in" + echo "/etc/profile.d/jre.sh" +# update-desktop-database -q +} + +post_upgrade() { + xdg-icon-resource forceupdate --theme hicolor 2> /dev/null +# update-desktop-database -q +} + + +post_remove() { + xdg-icon-resource forceupdate --theme hicolor 2> /dev/null +# update-desktop-database -q +} |