diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2019-02-09 14:08:16 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2019-02-09 15:03:08 +0100 |
| commit | 97f1adf164009d15a99ce1f5b9a4ea4f2eee5afc (patch) | |
| tree | 545d9f5107b2f6bf9e0751f45e0eacf883acbe76 /libre/java10-openjdk/install_jre10-openjdk.sh | |
| parent | 429e40a5e6a40d21ec65ab66132b677edaad7249 (diff) | |
| download | abslibre-97f1adf164009d15a99ce1f5b9a4ea4f2eee5afc.tar.gz abslibre-97f1adf164009d15a99ce1f5b9a4ea4f2eee5afc.tar.bz2 abslibre-97f1adf164009d15a99ce1f5b9a4ea4f2eee5afc.zip | |
libre/java10-openjdk: unmaintained, unbuilt and removed.
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 -} |