From 59624157c66fe4ea2739f9867024cbadc2bc2825 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Thu, 25 Jul 2024 12:29:59 +0200 Subject: [PATCH] Update script to minimize Sphinx PO files and properly wait for all pids Use --for-msgfmt to remove location, fuzzy strings, and untranslated msgids. This should reduce disk usage and diff size. --- update.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/update.sh b/update.sh index 8ea968c7c1..d162742376 100755 --- a/update.sh +++ b/update.sh @@ -144,7 +144,7 @@ merge_sphinx_po() { dirpath=$(dirname "$template" | sed -e 's@'$SPHINX_TEMPLATES_DIR'@'"$langdir"'@') mkdir -p "$dirpath" output="$dirpath/$page.po" - msgmerge --lang="$lang" --no-location -C "$po" "$template" "$template" -o "$output" + msgmerge --lang="$lang" --for-msgfmt -C "$po" "$template" "$template" -o "$output" done } @@ -153,8 +153,14 @@ if [ "$update_sphinx_po" = true ]; then # First clean previous folder to take into account potentially removed files rm -rf $SPHINX_PO_DIR mkdir $SPHINX_PO_DIR + i=0 for lang in $SPHINX_BUILD_LANGS; do merge_sphinx_po $lang & + pids[$i]=$! + i+=1 + done + for pid in ${pids[*]}; do + wait $pid done echo "All Sphinx PO files have been merged." fi