On Dienstag, 17. August 2010, Robert Buck wrote: > While I tend to agree with case-insensitive searches, I would tend to > question the use of a non-case-preserving / last-use methodology > reminiscent of the days of DOS. There is no "last-use" involved. Everything's rather "first-use", i.e., case-preserving. > The nice thing about case-insensitivity is that when requesting a file > by name any capitalization can be used. The bad thing, well come to > think of it, there is none that I can think of, but for those more > religious than I about Unix they may cite otherwise. What do you mean by "requesting a file"? core.ignorecase is purely about the worktree and the transition of files from the worktree to the index. It is *not* involved when files are moved from the index or the repository to the worktree. In particular, it is not used when you give a pathspec to limit 'git log' results. (Joshua proposed a change where core.ignorecase would also kick in in this case as well, but this change is not included in this series, and I would not agree to it.) -- Hannes -- 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