Re: [PATCH] Add --info-path and --man-path options to git.

From: Jon Seymour <jon.seymour@gmail.com>
Date: May 1, 2011, 22:47 UTC
Message-ID: <BANLkTim1SKiD5va_2TBLkrn6-N9oJuSEug@mail.gmail.com>
In-Reply-To: <7vbozmthhy.fsf@alter.siamese.dyndns.org>

On Mon, May 2, 2011 at 4:15 AM, Junio C Hamano <gitster@pobox.com> wrote:

Show 15 quoted lines

> Jon Seymour <jon.seymour@gmail.com> writes:
>
>> To better support git extensions provided by 3rd parties
>> which would like to install their own man pages and Info files
>> in the same place as git's own man pages and Info files
>> add support for --man-path and --info-path options.
>>
>> Signed-off-by: Jon Seymour <jon.seymour@gmail.com>
>> ---
>
> This an improvement that is pretty much independent from the issue of
> third party extensions. In fact, even people who would oppose to the idea
> of any third party crap [*1*] contaminating the install directories owned
> by git may want to this patch.
>

Thanks.

I agree the sentiment that suggests that we don't want to pollute git's own directories with 3rd party contributions.

This, indeed, is part of the motivation for a --plugins-path option which would provide a physically separate location for 3rd party contributions, per the earlier discussions between yourself and Jonathan Nieder. I'll put together a suggested patch for how this might work in the next week or so.

jon.