diff options
author | Joey Hess <joey@kodama.kitenet.net> | 2007-11-05 16:13:13 -0500 |
---|---|---|
committer | Joey Hess <joey@kodama.kitenet.net> | 2007-11-05 16:13:13 -0500 |
commit | ab6f7188c53c6580c64702e1cebb5326e998e225 (patch) | |
tree | 30586c0e47208cc3e478fcbc0e08cb7f513796bb | |
parent | 7c73a6613efddc2635d021c075651f367a273062 (diff) |
implemented the pre-commit hook
-rwxr-xr-x | pre-commit.d/10store-metadata | 3 | ||||
-rwxr-xr-x | pre-commit.d/10warn-empty | 7 | ||||
-rwxr-xr-x | pre-commit.d/10warn-hardlinks | 7 | ||||
-rwxr-xr-x | pre-commit.d/10warn-special | 7 |
4 files changed, 24 insertions, 0 deletions
diff --git a/pre-commit.d/10store-metadata b/pre-commit.d/10store-metadata new file mode 100755 index 0000000..c1a6c27 --- /dev/null +++ b/pre-commit.d/10store-metadata @@ -0,0 +1,3 @@ +#!/bin/sh +set -e +metastore --save --mtime diff --git a/pre-commit.d/10warn-empty b/pre-commit.d/10warn-empty new file mode 100755 index 0000000..8dcb357 --- /dev/null +++ b/pre-commit.d/10warn-empty @@ -0,0 +1,7 @@ +#!/bin/sh +set -e +empty=$(find -type f -empty | grep -v /.git/) +if [ -n "$empty" ]; then + echo "warning: empty directories, not tracked by git:" >&2 + echo "$empty" >&2 +fi diff --git a/pre-commit.d/10warn-hardlinks b/pre-commit.d/10warn-hardlinks new file mode 100755 index 0000000..f449fed --- /dev/null +++ b/pre-commit.d/10warn-hardlinks @@ -0,0 +1,7 @@ +#!/bin/sh +set -e +hardlinks=$(find -type f -not -links 1 | grep -v /.git/) +if [ -n "$hardlinks" ]; then + echo "warning: hardlinked files could cause problems with git:" >&2 + echo "$hardlinks" >&2 +fi diff --git a/pre-commit.d/10warn-special b/pre-commit.d/10warn-special new file mode 100755 index 0000000..92d1d3d --- /dev/null +++ b/pre-commit.d/10warn-special @@ -0,0 +1,7 @@ +#!/bin/sh +set -e +special=$(find -not -type d -not -type f -not -type l | grep -v /.git/) +if [ -n "$special" ]; then + echo "warning: special files could cause problems with git:" >&2 + echo "$special" >&2 +fi |