aboutsummaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorChristian Segundo2023-12-30 16:05:48 +0100
committerChristian Segundo2023-12-31 12:00:02 +0100
commitdf2b48edbb77e40dbd93e1c097b0b1cacde8a74a (patch)
tree701e2a8989409c507a239742292a98ee712c2487 /misc
parent5b010f1047a8ac1203cb1d3b3ce95a0320b84be9 (diff)
downloadlanguagetool-df2b48edbb77e40dbd93e1c097b0b1cacde8a74a.tar.gz
bump to 6.3
ensure it never expands to /
Diffstat (limited to 'misc')
-rw-r--r--misc/init.sh6
-rwxr-xr-xmisc/ngram.sh4
2 files changed, 5 insertions, 5 deletions
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