Re: Is a given file known to git?

> Christoph Duelli schrieb:
>> Yes, thank you, Johannes and Shawn, this works.
>> (A bit slow, though: with this test enabled my script takes 77 secs;
>> without it it takes 0.3 secs. The time is spent in 9000 calls to the
>> above test (the rev-parse version). (ok, the fact that there is a Perl
>> system call around it might take some time, too).)
> 
> Oh, you said "a particular path from a bash script". If you had said "9000
> particular paths, and I have perl wrapped around it", then there might be
> (much) better solutions. Like parsing the output of "git ls-files
> --others" or "git ls-tree -r" into a hash and then lookup therein.
> 
> -- Hannes