From 555ab8735af46dff9db2a4bd31ab075063383962 Mon Sep 17 00:00:00 2001 From: Stefan Haller Date: Mon, 10 Feb 2025 09:36:53 +0100 Subject: [PATCH] Change update_language_files.sh script to rename pt-PT to pt --- scripts/update_language_files.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/update_language_files.sh b/scripts/update_language_files.sh index 217bba9fc..815b095a3 100755 --- a/scripts/update_language_files.sh +++ b/scripts/update_language_files.sh @@ -18,6 +18,11 @@ fi download_dir="$1" +# The Portuguese translation is named pt-PT, but we want to use pt instead (it +# is used both for Brasilian and European Portuguese). I couldn't figure out how +# to change this in Crowdin, so we'll do it here. +[ -d "$download_dir/pt-PT" ] && mv "$download_dir/pt-PT" "$download_dir/pt" + for d in "$download_dir"/* do # We need to remove empty strings from the JSON files; those are the ones