diff options
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk.install')
-rw-r--r-- | libre/java7-openjdk/jre7-openjdk.install | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/libre/java7-openjdk/jre7-openjdk.install b/libre/java7-openjdk/jre7-openjdk.install deleted file mode 100644 index 45835da4d..000000000 --- a/libre/java7-openjdk/jre7-openjdk.install +++ /dev/null @@ -1,55 +0,0 @@ -THIS_JRE='java-7-openjdk/jre' - -fix_default() { - if [ ! -x /usr/bin/java ]; then - /usr/bin/parabola-java unset - echo "" - else - /usr/bin/parabola-java get - fi -} - -post_install() { - default=$(fix_default) - case ${default} in - "") - /usr/bin/parabola-java set ${THIS_JRE} - ;; - ${THIS_JRE} | ${THIS_JRE/\/jre}) - # Nothing - ;; - *) - echo "Default Java environment is already set to '${default}'" - echo "See 'parabola-java help' to change it" - ;; - esac - - 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 /etc/profile.d/jre.sh" - -# update-desktop-database -q -} - -post_upgrade() { - if [ -z $(fix_default) ]; then - /usr/bin/parabola-java set ${THIS_JRE} - fi - - xdg-icon-resource forceupdate --theme hicolor 2> /dev/null - -# update-desktop-database -q -} - -pre_remove() { - if [ "x$(fix_default)" = "x${THIS_JRE/\/jre}" ]; then - /usr/bin/parabola-java unset - echo "No Java environment is set as default anymore" - fi -} - -post_remove() { - xdg-icon-resource forceupdate --theme hicolor 2> /dev/null - -# update-desktop-database -q -} |