diff options
author | Silvio Fricke | 2019-03-26 19:54:48 +0100 |
---|---|---|
committer | Silvio Fricke | 2019-03-26 19:54:48 +0100 |
commit | 95c81153c49010933da9d7e201de64f753117351 (patch) | |
tree | 0e46566e99ef27eedd9d77aeb19769cc1adf51de | |
parent | 3093fb612de4dff257b93ad4b35a8979ea39d09b (diff) | |
download | languagetool-95c81153c49010933da9d7e201de64f753117351.tar.gz |
Dockerfile: switch to debian:stretch
This is needed because openjdk-8-jre-headless was not anymore on the
backport servers for jessie.
+ apt-get -t jessie-backports install -y bash openjdk-8-jre-headless unzip
Reading package lists...
Building dependency tree...
Reading state information...
E: Unable to locate package openjdk-8-jre-headless
This fixes #9.
Signed-off-by: Silvio Fricke <silvio.fricke@gmail.com>
-rw-r--r-- | Dockerfile | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -1,14 +1,13 @@ -FROM debian:jessie +FROM debian:stretch MAINTAINER Silvio Fricke <silvio.fricke@gmail.com> RUN set -ex \ && mkdir -p /uploads /etc/apt/sources.list.d /var/cache/apt/archives/ \ - && echo "deb http://ftp.debian.org/debian jessie-backports main" > /etc/apt/sources.list.d/jessie.backports.list \ && export DEBIAN_FRONTEND=noninteractive \ && apt-get clean \ && apt-get update -y \ - && apt-get -t jessie-backports install -y \ + && apt-get install -y \ bash \ openjdk-8-jre-headless \ unzip |