diff options
Diffstat (limited to 'crowdin')
| -rwxr-xr-x | crowdin/download | 3 | ||||
| -rwxr-xr-x | crowdin/local-patches | 14 |
2 files changed, 17 insertions, 0 deletions
diff --git a/crowdin/download b/crowdin/download index 83111be..6a45c83 100755 --- a/crowdin/download +++ b/crowdin/download @@ -67,6 +67,9 @@ for f in */*/*values-*/strings.xml; do sed -i 's/…/…/g' $f done +# apply local patches to particular strings +. "`dirname $0`/local-patches" + # check for changes if [ -z "`git diff`" ]; then debug "no changes, finishing." diff --git a/crowdin/local-patches b/crowdin/local-patches new file mode 100755 index 0000000..d671c81 --- /dev/null +++ b/crowdin/local-patches @@ -0,0 +1,14 @@ +# +# This file contains special handlings that must be done on +# crowdin strings. For example, some sentences must get a +# ignore-typo flag so that lint does not give a false +# positive. +# +# All the fixes should be idempotent so that this script can be applied +# to the fixed version as well. + +# Fix a lint confusion between Portuguese word "com" and "geocaching.com" +# name, which can be flagged as a repetition of the same word. + +sed -i -e '/geocaching\.com com/s/\(<string name="[^"]*"\)>/\1 tools:ignore="Typos">/' \ + main/res/values-pt/strings.xml |
