summaryrefslogtreecommitdiff
path: root/libre/java7-openjdk/jre7-openjdk.install
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2018-10-23 11:28:51 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2018-10-23 11:28:51 -0500
commit26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb (patch)
treecc6b8c002747efe52cdce0f9beac477e08ee8f24 /libre/java7-openjdk/jre7-openjdk.install
parent34aa584b14685314f62485f163b2e0777f883d01 (diff)
downloadabslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.tar.gz
abslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.tar.bz2
abslibre-26d61cc1f977b4dfee7a2aff6c5aaa6d725fe3fb.zip
Removing java{7,8}-openjdk
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk.install')
-rw-r--r--libre/java7-openjdk/jre7-openjdk.install55
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
-}