diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-09-05 13:38:41 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-09-05 13:38:41 -0500 |
| commit | c6aa3a9c985f147b72c3269272cbb576a3bc1331 (patch) | |
| tree | 0d29748d59d0f3291a6635261116c9e8e1f8c54d /libre/java9-openjdk/install_jre9-openjdk-headless.sh | |
| parent | d7ef26474f706ddd39c8883d0159d9e93b3c392a (diff) | |
| download | abslibre-c6aa3a9c985f147b72c3269272cbb576a3bc1331.tar.gz abslibre-c6aa3a9c985f147b72c3269272cbb576a3bc1331.tar.bz2 abslibre-c6aa3a9c985f147b72c3269272cbb576a3bc1331.zip | |
Removing java9-openjdk: It was removed in upstream
Diffstat (limited to 'libre/java9-openjdk/install_jre9-openjdk-headless.sh')
| -rw-r--r-- | libre/java9-openjdk/install_jre9-openjdk-headless.sh | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/libre/java9-openjdk/install_jre9-openjdk-headless.sh b/libre/java9-openjdk/install_jre9-openjdk-headless.sh deleted file mode 100644 index ed0580948..000000000 --- a/libre/java9-openjdk/install_jre9-openjdk-headless.sh +++ /dev/null @@ -1,48 +0,0 @@ -THIS_JRE='java-9-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 -} |