You are right but as I mentioned in my posting I am using "core.ignorecase=true"
so I expected "file.txt" and "File.txt" to be treated the same.

The man-page for git-config 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"."

So "various workarounds" does _not_ mean that _all_ filenames are processed 
modulo upper/lower case, or?

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to