diff options
Diffstat (limited to 'git-hooks/pre-commit')
| -rwxr-xr-x | git-hooks/pre-commit | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit deleted file mode 100755 index 99f59729..00000000 --- a/git-hooks/pre-commit +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash - -make messages.po > /dev/null 2>&1 - -# This monstrosity asks how many lines changed, but it ignores changes to the -# "POT-Creation-Date" line. In other words, if all that's changed is the -# "POT-Creation-Date", don't bother adding messages.po -lines_changed=$(git -c difftool.ignorepot.cmd='diff -u -I "POT-Creation-Date" "$LOCAL" "$REMOTE"' difftool -t ignorepot -y messages.po | wc -l) - -if [ "$lines_changed" = 0 ]; then - git checkout messages.po -else - git add messages.po -fi |