diff options
| -rwxr-xr-x | crowdin/download | 5 | ||||
| -rwxr-xr-x | crowdin/globals | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/crowdin/download b/crowdin/download index 89483c5..83111be 100755 --- a/crowdin/download +++ b/crowdin/download @@ -62,6 +62,11 @@ _do wget "http://api.crowdin.net/api/project/cgeo/download/all.zip?key=${CROWDIN || die "crowdin download failed." _do unzip -o ${ZIPFILE} || die "unzip of ${ZIPFILE} failed." +# fix unicode entities for ellipsis character +for f in */*/*values-*/strings.xml; do + sed -i 's/…/…/g' $f +done + # check for changes if [ -z "`git diff`" ]; then debug "no changes, finishing." diff --git a/crowdin/globals b/crowdin/globals index 0efd147..dc2e9c9 100755 --- a/crowdin/globals +++ b/crowdin/globals @@ -37,7 +37,7 @@ debug () { echo "`date +%Y-%m-%d.%H:%M:%S` `basename $0`: $@"; } # use this function for executing commands. _do () { debug "$@"; eval "$@"; } -require_tools git curl wget unzip +require_tools git curl wget unzip sed git rev-parse --show-toplevel >& /dev/null || die "Please start this script from within a repo. Aborting." cd "`git rev-parse --show-toplevel`" |