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-headless.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-headless.sh')
-rw-r--r-- | libre/java10-openjdk/install_jre10-openjdk-headless.sh | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/libre/java10-openjdk/install_jre10-openjdk-headless.sh b/libre/java10-openjdk/install_jre10-openjdk-headless.sh deleted file mode 100644 index da8a727cc..000000000 --- a/libre/java10-openjdk/install_jre10-openjdk-headless.sh +++ /dev/null @@ -1,48 +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 - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -post_upgrade() { - if [ -z "$(fix_default)" ]; then - /usr/bin/parabola-java set ${THIS_JRE} - fi - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -pre_remove() { - default=$(fix_default) - if [ "x${default}" = "x${THIS_JRE}" ]; then - /usr/bin/parabola-java unset - echo "No Java environment is set as default anymore" - fi -} |