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 /misc | |
| 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>
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions