diff options
-rw-r--r-- | README | 2 | ||||
-rwxr-xr-x | check_for_translation_work.sh | 4 |
2 files changed, 4 insertions, 2 deletions
@@ -1,4 +1,6 @@ NEWS +2013/11/06 +improvement in git grep 2013/11/03 added warning about configuration excluding the work on desktop files in list_of_resources_for_translation.txt added test for GenericName for *.desktop file diff --git a/check_for_translation_work.sh b/check_for_translation_work.sh index ee6a6089..41bd0deb 100755 --- a/check_for_translation_work.sh +++ b/check_for_translation_work.sh @@ -7,7 +7,7 @@ # # Filip Komar, 2012, 2013 # Remco Rijnders, 2012 -# $Id: check_for_translation_work.sh 2013-11-03 20:17:00 UTC filip $ +# $Id: check_for_translation_work.sh 2013-11-06 21:49:00 UTC filip $ # # Please see git for a list of changes to this script. # @@ -226,7 +226,7 @@ do echo Pull git repository "${git_addresses[$git_address]}" to "$git_address". | tee -a "$logfile"_this_run.log cd "$git_directory/$git_address" # just echo $language_code.po or *.pot file line if they are updated - git pull --stat --rebase | grep -E "$language_code.po$|.pot$|.desktop$|.html$" | tee -a "$logfile"_this_run.log + git pull --stat --rebase -q | grep -E "$language_code.po\>|.pot\>|.desktop\>|.html\>" | tee -a "$logfile"_this_run.log # git diff --name-status ORIG_HEAD.. | grep -E "$language_code.po|[\.]pot" else echo Clone git repository "${git_addresses[$git_address]}" to "$git_address". | tee -a "$logfile"_this_run.log |