From: Jon Seymour Date: Sun, 01 May 2011 22:47:22 GMT Subject: Re: [PATCH] Add --info-path and --man-path options to git. Message-ID: In-Reply-To: <7vbozmthhy.fsf@alter.siamese.dyndns.org> On Mon, May 2, 2011 at 4:15 AM, Junio C Hamano wrote: > Jon Seymour 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 >> --- > > 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.