On Sat, 4 Aug 2007, Linus Torvalds wrote: > > But yeah, it seems that the file *rename* ends up not triggering that > logic! Very annoying. > > Does this fix it? Totally untested, but it _looks_ obvious enough.. Side note: git will never remove a directory even if it becomes empty as far as *git* is concerned, if there are other files that git doesn't know about in there. So if you really really want to remove that directory, you do end up having to often just doing rm -rf some/dir/ and the fact that you don't find a "git rmdir" is that with git, you really should not even need it. We do "git mv" and friends, but the fact is, that may have confused people into thinking that git cares. The "default mindset" should be to just do everything directly in the filesystem, and git will just figure things out on its own. The "git mv" and "git rm" stuff is purely *convenience* features, nothing more. Other SCM's really want you to do "scm rm" or "scm cp" or whatever. Git really really really doesn't care, and I think people are a bit too afraid of just doing the operation the normal UNIX way. So next time you want to remove a directory, just remove it. With bog-standard unix tools. Use "rm". Or a graphical file manager. Or muck with the disk directly using a binary editor. Git won't care. It will notice that the file is gone, and do the right thing. Linus - 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
