From 117105caa4dfb03e0be8d50d23613545c21cf939 Mon Sep 17 00:00:00 2001 From: Samuel Tardieu Date: Thu, 6 Feb 2014 10:30:25 +0100 Subject: fix #3600: false positive lint warnings There is now a "local-patches" file in place where necessary adjustments can be done. --- crowdin/download | 3 +++ crowdin/local-patches | 14 ++++++++++++++ 2 files changed, 17 insertions(+) create mode 100755 crowdin/local-patches (limited to 'crowdin') 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/\(/\1 tools:ignore="Typos">/' \ + main/res/values-pt/strings.xml -- cgit v1.1