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_jdk10-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_jdk10-openjdk.sh')
| -rw-r--r-- | libre/java10-openjdk/install_jdk10-openjdk.sh | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/libre/java10-openjdk/install_jdk10-openjdk.sh b/libre/java10-openjdk/install_jdk10-openjdk.sh deleted file mode 100644 index 408bbe597..000000000 --- a/libre/java10-openjdk/install_jdk10-openjdk.sh +++ /dev/null @@ -1,50 +0,0 @@ -THIS_JDK='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_JDK} - ;; - ${THIS_JDK}) - # 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() { - default=$(fix_default) - if [ -z "${default}" ]; then - /usr/bin/parabola-java set ${THIS_JDK} - fi - - if [ ! -f /etc/ssl/certs/java/cacerts ]; then - /usr/bin/update-ca-trust - fi -} - -pre_remove() { - if [ "x$(fix_default)" = "x${THIS_JDK}" ]; then - # Check JRE10 is still available - if [ -x /usr/lib/jvm/${THIS_JDK}/bin/java ]; then - /usr/bin/parabola-java unset - fi - fi -} |