2012/3/22 Junio C Hamano <gitster@xxxxxxxxx>: > Zbigniew Jędrzejewski-Szmek <zbyszek@xxxxxxxxx> writes: > >> Even this updated text does not say _what_ happens when >> core.ignorecase is set on a case-insensitive filesystem. > > That was very much on purpose. We tell users not to do that, because it is > calling for an undefined behaviour. And leaving it undefined gives us a > wiggle room to later do something better if we choose to. Where do you tell users not to do that? Nothing on the man page actually says that the behavior is undefined, but it does seem to be weird. Rename default.asp to Default.asp, and Git reports that default.asp was deleted, but doesn't mention Default.asp. (Presumably it sees Default.asp and decides that it's the same as default.asp, which it already determined was deleted. Like I said, weird.) -PJ Gehm's Corollary to Clark's Law: Any technology distinguishable from magic is insufficiently advanced. -- 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