diff options
author | Damien MariƩ <damien@dam.io> | 2017-10-06 08:07:55 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-10-10 13:21:46 +0900 |
commit | f805a00a396ee91599902cebe55620b2a4c813b9 (patch) | |
tree | ff5e8a8d4b5dabf8a80a7442fe8672d6e61822c3 /Documentation | |
parent | Git 2.15-rc0 (diff) | |
download | tgif-f805a00a396ee91599902cebe55620b2a4c813b9.tar.xz |
run-command: add hint when a hook is ignored
When an hook is present but the file is not set as executable then git will
ignore the hook.
For now this is silent which can be confusing.
This commit adds this warning to improve the situation:
hint: The 'pre-commit' hook was ignored because it's not set as executable.
hint: You can disable this warning with `git config advice.ignoredHook false`
To allow the old use-case of enabling/disabling hooks via the executable flag a
new setting is introduced: advice.ignoredHook.
Signed-off-by: Damien MariƩ <damien@dam.io>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/config.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 1ac0ae6adb..5642defb8c 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -351,6 +351,9 @@ advice.*:: addEmbeddedRepo:: Advice on what to do when you've accidentally added one git repo inside of another. + ignoredHook:: + Advice shown if an hook is ignored because the hook is not + set as executable. -- core.fileMode:: |