diff options
Diffstat (limited to 'crowdin/local-patches')
| -rwxr-xr-x | crowdin/local-patches | 14 |
1 files changed, 14 insertions, 0 deletions
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 |
