diff options
| -rw-r--r-- | git-hooks/README.md | 1 | ||||
| -rwxr-xr-x | git-hooks/pre-commit | 14 |
2 files changed, 0 insertions, 15 deletions
diff --git a/git-hooks/README.md b/git-hooks/README.md deleted file mode 100644 index 910f476a..00000000 --- a/git-hooks/README.md +++ /dev/null @@ -1 +0,0 @@ -Files in this directory are meant to be symlinked or copied into your local clone's .git/hooks directory. 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 |