diff options
author | Silvio Fricke | 2018-03-30 10:00:35 +0200 |
---|---|---|
committer | Silvio Fricke | 2018-03-30 10:00:35 +0200 |
commit | 475a9850d04d39b38d365ef008cc29c779cd64cb (patch) | |
tree | 0cc6d1bba1ad8e6e612b87c34f14689a6977f0da | |
parent | e56aad049aa38acbaa0288e9814eb303658a28ce (diff) | |
download | languagetool-475a9850d04d39b38d365ef008cc29c779cd64cb.tar.gz |
Dockerfile: move startparameter to a own script
This is for preparation of supporting of ngrams.
Signed-off-by: Silvio Fricke <silvio.fricke@gmail.com>
-rw-r--r-- | Dockerfile | 5 | ||||
-rw-r--r-- | misc/start.sh | 3 |
2 files changed, 7 insertions, 1 deletions
@@ -21,5 +21,8 @@ RUN unzip 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 diff --git a/misc/start.sh b/misc/start.sh new file mode 100644 index 0000000..8f3e05e --- /dev/null +++ b/misc/start.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +java -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' |