diff options
Diffstat (limited to 'libre/java10-openjdk/install_jre10-openjdk.sh')
-rw-r--r-- | libre/java10-openjdk/install_jre10-openjdk.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/libre/java10-openjdk/install_jre10-openjdk.sh b/libre/java10-openjdk/install_jre10-openjdk.sh deleted file mode 100644 index 85673b939..000000000 --- a/libre/java10-openjdk/install_jre10-openjdk.sh +++ /dev/null @@ -1,35 +0,0 @@ -THIS_JRE='java-10-openjdk' - -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}) - # Nothing - ;; - *) - echo "Default Java environment is already set to '${default}'" - echo "See 'parabola-java help' to change it" - ;; - esac - - echo "when you use a non-reparenting window manager," - echo "set _JAVA_AWT_WM_NONREPARENTING=1 in /etc/profile.d/jre.sh" -} - -post_upgrade() { - if [ -z "$(fix_default)" ]; then - /usr/bin/parabola-java set ${THIS_JRE} - fi -} |