On Mon, Nov 12, 2012 at 9:47 AM, Junio C Hamano <gits...@pobox.com> wrote:
> Michael Haggerty <mhag...@alum.mit.edu> writes:
>> The log message of the original commit (0454dd93bf) described the
>> following scenario: a /home partition under which user home directories
>> are automounted, and setting GIT_CEILING_DIRECTORIES=/home to avoid
>> hitting /home/.git, /home/.git/objects, and /home/objects (which would
>> attempt to automount those directories). I believe that this scenario
>> would not be slowed down by my patches.
>> How do you use GIT_CEILING_DIRECTORIES that the proposed changes cause a
> Yeah, I was also wondering about that.
I double-checked our configuration and all the parent directories
of those listed in GIT_CEILING_DIRECTORIES are local,
so our particular configuration would not have a performance hit.
We do have multiple directories listed there. Some of them share
a parent directory. I'm assuming the implementation is simple and
does not try and avoid repeating the check when the parent dir is
the same across multiple entries.
In any case, it won't be a problem in practice based on my
reading of the current code.
>>> Is there another way to accomplish this without the performance hit?
>>> Maybe something that can be solved with configuration?
>> Without doing the symlink expansion there is no way for git to detect
>> that GIT_CEILING_DIRECTORIES contains symlinks and is therefore
>> ineffective. So the user has no warning about the misconfiguration
>> (except that git runs slowly).
>> On 10/29/2012 02:42 AM, Junio C Hamano wrote:
>>> Perhaps not canonicalize elements on the CEILING list ourselves? If
>>> we make it a user error to put symlinked alias in the variable, and
>>> document it clearly, wouldn't it suffice?
>> There may be no other choice. (That, and fix the test suite in another
>> way to tolerate a $PWD that involves symlinks.)
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html