diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-11-21 14:32:50 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-11-21 14:32:50 +0900 |
commit | d71056015c147557a3bbf069107d9470c0579974 (patch) | |
tree | d0c7f5e5eadff0e2a9ac89dd21a81607be7222e2 /config.txt | |
parent | b72f60303287a25c0a0305120b203276faca07fa (diff) | |
download | git-htmldocs-d71056015c147557a3bbf069107d9470c0579974.tar.gz |
Autogenerated HTML docs for v2.15.0-317-g14c63
Diffstat (limited to 'config.txt')
-rw-r--r-- | config.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config.txt b/config.txt index 671fcbaa0..5f65fa923 100644 --- a/config.txt +++ b/config.txt @@ -416,6 +416,13 @@ core.protectNTFS:: 8.3 "short" names. Defaults to `true` on Windows, and `false` elsewhere. +core.fsmonitor:: + If set, the value of this variable is used as a command which + will identify all files that may have changed since the + requested date/time. This information is used to speed up git by + avoiding unnecessary processing of files that have not changed. + See the "fsmonitor-watchman" section of linkgit:githooks[5]. + core.trustctime:: If false, the ctime differences between the index and the working tree are ignored; useful when the inode change time |