On Tue, May 04, 2010 at 12:41:22PM -0400, Avery Pennarun wrote: > On Tue, May 4, 2010 at 4:57 AM, Clemens Buchacher <drizzd@xxxxxx> wrote: > > > Scratch that latter part, please. I just noticed the bit is unset only for > > modified files. If the file matches the index, or even if it has been > > deleted in the work tree, the bit is _not_ unset. > > > > So the current behavior is quite strange. I see several possible > > interpretations of --really-refresh: > > I don't know, the current behaviour sounds consistent with the name: > "assume unchanged." > > If the index says the file is unmodified, then assume it's unchanged; > don't check for changes. This is not about changes with respect to HEAD. The "assume unchanged" flag is unset if the work tree differs from the index. Whether or not the file is modified in the index is irrelevant. > If the index says the file is modified, then clearly it's changed; it > would be pointless to assume otherwise, so the "assume unchanged" bit > should probably not be set. On the contrary. I _want_ git to assume the file is unchanged, even though I know it changed. This is an intended and documented use case (from the git-update-index manpage): This option can be also used as a coarse file-level mechanism to ignore uncommitted changes in tracked files (akin to what `.gitignore` does for untracked files). But even if you look at it from the performance optimization perspective, the behavior is still inconsistent, because it does not unset the bit for deleted files. Furthermore, after update-index --really-refresh --add, the file is in fact unchanged again and it would make much more sense to keep the assume-unchanged flag. > (Plus it's quite possibly dangerous to > assume the file permissions are the same as they were when you first > noticed they were changed; imagine if the file has changed twice and > now has a different length or mode.) What do you mean, "dangerous"? I tell git to update the index, and then continue to ignore changes to the work tree, until I explicitly update again. I can already achieve this behavior using git ls-files -v | grep ^h | cut -f2 -d' ' >my-ignored-files git update-index --really-refresh cat my-ignored-files | xargs git update-index --assume-unchanged Clemens -- 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