diff options
author | Christian Segundo | 2023-12-30 16:05:48 +0100 |
---|---|---|
committer | Christian Segundo | 2023-12-31 12:00:02 +0100 |
commit | df2b48edbb77e40dbd93e1c097b0b1cacde8a74a (patch) | |
tree | 701e2a8989409c507a239742292a98ee712c2487 | |
parent | 5b010f1047a8ac1203cb1d3b3ce95a0320b84be9 (diff) | |
download | languagetool-df2b48edbb77e40dbd93e1c097b0b1cacde8a74a.tar.gz |
bump to 6.3
ensure it never expands to /
-rw-r--r-- | Dockerfile | 17 | ||||
-rw-r--r-- | misc/init.sh | 6 | ||||
-rwxr-xr-x | misc/ngram.sh | 4 |
3 files changed, 15 insertions, 12 deletions
@@ -1,22 +1,25 @@ FROM openjdk:slim -ARG VERSION=5.7 +ARG VERSION=6.3 +SHELL ["/bin/bash", "-eufo", "pipefail", "-c"] + +# hadolint ignore=DL3008 RUN apt-get update && \ - apt-get install -y \ + apt-get upgrade -y && \ + apt-get install --no-install-recommends -y \ curl \ libarchive-tools && \ + curl --progress-bar "https://languagetool.org/download/LanguageTool-$VERSION.zip" |\ + bsdtar -x -f - && \ rm -rf /var/lib/apt/lists/* -RUN curl --progress-bar "https://languagetool.org/download/LanguageTool-$VERSION.zip" |\ - bsdtar -x -f - - RUN adduser \ --home /LanguageTool-$VERSION \ --no-create-home languagetool -ADD --chown=languagetool misc/init.sh / -ADD --chown=languagetool misc/ngram.sh / +COPY --chown=languagetool misc/init.sh / +COPY --chown=languagetool misc/ngram.sh / WORKDIR /LanguageTool-$VERSION HEALTHCHECK --timeout=10s --start-period=5s \ diff --git a/misc/init.sh b/misc/init.sh index dae150a..dc979c9 100644 --- a/misc/init.sh +++ b/misc/init.sh @@ -15,12 +15,12 @@ for var in ${!LT_*}; do echo "${var#'LT_'}="${!var} >> /tmp/config.properties done -echo JAVAOPTIONS=$JAVAOPTIONS +echo "JAVAOPTIONS=$JAVAOPTIONS" if [ "$EXTRA_LT" = true ]; then EXTRAOPTIONS="${EXTRAOPTIONS} --config /tmp/config.properties" echo config.properties: - echo "$(cat /tmp/config.properties)" + cat /tmp/config.properties fi -echo EXTRAOPTIONS=$EXTRAOPTIONS +echo "EXTRAOPTIONS=$EXTRAOPTIONS" java ${JAVAOPTIONS} -cp languagetool-server.jar org.languagetool.server.HTTPServer --port 8010 --public --allow-origin '*' ${EXTRAOPTIONS} diff --git a/misc/ngram.sh b/misc/ngram.sh index ce25a49..30c1671 100755 --- a/misc/ngram.sh +++ b/misc/ngram.sh @@ -14,7 +14,7 @@ download_ngram() { local directory=$3 echo "Downloading: ${lang} - ${version}" - rm -rf "${directory}/${lang}" + rm -rf "${directory:?}/${lang}" curl --progress-bar "${NGRAM_DATA_URL}ngrams-${lang}-${version}.zip" |\ bsdtar -x -f - -C "${directory}" } @@ -54,6 +54,6 @@ for i in $(ls -d "${TARGET_DIR}"/*/); do fi done if [ "${delete}" == "yes" ]; then - rm -rf "${TARGET_DIR}/${realdir}" + rm -rf "${TARGET_DIR:?}/${realdir}" fi done |