diff options
| author | silvio | 2018-03-30 10:20:17 +0200 |
|---|---|---|
| committer | GitHub | 2018-03-30 10:20:17 +0200 |
| commit | ec420b8978166b9bc364793e955378c53a8f0853 (patch) | |
| tree | 30271ef25af8a3fd7b23a315f4c8c460406a0aa9 /Dockerfile | |
| parent | 53c5b840f2de662c2f966ed75362bdff4e8f522d (diff) | |
| parent | 48b78a322c90dd726d1a2295119bfc0bf7b9621a (diff) | |
| download | languagetool-ec420b8978166b9bc364793e955378c53a8f0853.tar.gz | |
Merge pull request #6 from silvio/ngram-and-rework
Ngram and rework
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 19 |
1 files changed, 12 insertions, 7 deletions
@@ -2,9 +2,6 @@ FROM debian:jessie MAINTAINER Silvio Fricke <silvio.fricke@gmail.com> -ENV VERSION 4.0 -ADD https://www.languagetool.org/download/LanguageTool-$VERSION.zip /LanguageTool-$VERSION.zip - 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 \ @@ -12,12 +9,20 @@ RUN set -ex \ && apt-get clean \ && apt-get update -y \ && apt-get -t jessie-backports install -y \ - openjdk-8-jre-headless \ - unzip \ - && unzip LanguageTool-$VERSION.zip \ + bash \ + openjdk-8-jre-headless \ + unzip + +ENV VERSION 4.1 +ADD https://www.languagetool.org/download/LanguageTool-$VERSION.zip /LanguageTool-$VERSION.zip + +RUN unzip LanguageTool-$VERSION.zip \ && rm LanguageTool-$VERSION.zip WORKDIR /LanguageTool-$VERSION -CMD ["java", "-cp", "languagetool-server.jar", "org.languagetool.server.HTTPServer", "--port", "8010", "--public", "--allow-origin", "'*'"] +ADD misc/start.sh /start.sh +RUN chmod a+x /start.sh + +CMD [ "/start.sh" ] EXPOSE 8010 |