diff options
author | filip <filip.komar@gmail.com> | 2013-11-06 23:01:10 +0100 |
---|---|---|
committer | filip <filip.komar@gmail.com> | 2013-11-06 23:01:10 +0100 |
commit | 006edc932f595bd386d6bf16931224b371c3272d (patch) | |
tree | fc0caf871732e6d0852826ae8dfcabbeed53ac3a /check_for_translation_work.sh | |
parent | e8df47242153c810f30c868a1361284bc3e441b4 (diff) | |
download | tools-006edc932f595bd386d6bf16931224b371c3272d.tar tools-006edc932f595bd386d6bf16931224b371c3272d.tar.gz tools-006edc932f595bd386d6bf16931224b371c3272d.tar.bz2 tools-006edc932f595bd386d6bf16931224b371c3272d.tar.xz tools-006edc932f595bd386d6bf16931224b371c3272d.zip |
improvement in git grep
Diffstat (limited to 'check_for_translation_work.sh')
-rwxr-xr-x | check_for_translation_work.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |