From baee286190312e315b389fa5659e70fc630617a1 Mon Sep 17 00:00:00 2001 From: Lex Neva Date: Sat, 15 Sep 2018 13:03:34 -0400 Subject: remove git hook --- git-hooks/README.md | 1 - git-hooks/pre-commit | 14 -------------- 2 files changed, 15 deletions(-) delete mode 100644 git-hooks/README.md delete mode 100755 git-hooks/pre-commit 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 -- cgit v1.2.3