Re: Is a given file known to git?

From: Johannes Sixt <j.sixt@viscovery.net>
Date: Mar 11, 2008, 09:36 UTC
Message-ID: <47D652A9.4090304@viscovery.net>
In-Reply-To: <47D65074.4000505@melosgmbh.de>

Christoph Duelli schrieb:

Show 5 quoted lines

> 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