2009/4/30 Alex Riesen <raa.lkml@xxxxxxxxx>: > 2009/4/30 Christoph Duelli <duelli@xxxxxxxxxxxx>: >> Following scenario: >> Some file x was deleted (or renamed, but the --follow option does not >> succeed) some 100 commits ago. >> Now, I would like to check the 'lost' contents for some reason. >> >> Is it possible to find out when a given file (path) was deleted? For completeness, the answer to the first part of the question: git log --diff-filter=D -- the/name/of/deleted/file >> (And then, with the obtained SHA1, use gitk or some such tool to inspect >> this file.) > > "gitk -- the/name/of/deleted/file" :) > -- > 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 > -- 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