On Thu, Mar 22, 2012 at 12:25:50PM +0100, Zbigniew Jędrzejewski-Szmek wrote: > >What am I missing? > > The OP meant a case-sensitive fs, not an insensitive one. > "On a filesystem that *is* case-sensitive, ..." > > This is a question about core.ignorecase=true. The description in > git-config(1) is so vague, that it's hard to say what behaviour is > expected. I don't know. It says: If true, this option enables various workarounds to enable git to work better on filesystems that are not case sensitive, like FAT. For example, if a directory listing finds "makefile" when git expects "Makefile", git will assume it is really the same file, and continue to remember it as "Makefile". which seems pretty clear to me that this is "let git work better on case-insensitive filesystems", not "make git magically case-insensitive on case sensitive filesystem". But maybe we could add be more explicit, like: -- >8 -- Subject: docs: clarify core.ignorecase on case-sensitive filesystems core.ignorecase is about handling case-insensitive filesystems, not making git magically case-insensitive on a case-sensitive filesystem. That's implied by the current text, but let's add an explicit note. Signed-off-by: Jeff King <peff@xxxxxxxx> --- Documentation/config.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Documentation/config.txt b/Documentation/config.txt index c081657..abbab91 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -191,6 +191,10 @@ core.ignorecase:: The default is false, except linkgit:git-clone[1] or linkgit:git-init[1] will probe and set core.ignorecase true if appropriate when the repository is created. ++ +Note that this is about making git work well on a case-insensitive +filesystem. It will not make git case-insensitive when used on a +case-sensitive filesystem. core.trustctime:: If false, the ctime differences between the index and the -- 1.7.10.rc0.9.gdcbe9 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html