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

From: Junio C Hamano <gitster@pobox.com>
Date: May 1, 2011, 18:15 UTC
Message-ID: <7vbozmthhy.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1304237785-56101-1-git-send-email-jon.seymour@gmail.com>

Jon Seymour <jon.seymour@gmail.com> writes:

Show 7 quoted lines

> 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.

It is useful to have these options even for read-only users. Cf. 89a56bf (add --html-path to get the location of installed HTML docs, 2009-04-05).

I'll rewrite the proposed commit message before queuing this to 'pu'.

Thanks.

[Footnote]

*1* Not all extensions may be crappy, but some extension will be, and you may find out the crappiness only after installing it, but at that point it already has contaminated your git directories.