Re: [PATCH] Rename {git- => git}remote-helpers.txt

From: Jeff King <peff@peff.net>
Date: Feb 1, 2013, 05:03 UTC
Message-ID: <20130201050343.GA29973@sigill.intra.peff.net>
In-Reply-To: <20130131230455.GN27340@google.com>

On Thu, Jan 31, 2013 at 03:04:55PM -0800, Jonathan Nieder wrote:

Show 14 quoted lines

> Jeff King wrote:
> 
> > Maybe it is just me, but the fact that accessing the manpage is now:
> >
> >   man gitremote-helpers
> >
> > feels weird to me. I know it technically follows our syntactic rules,
> > but having the lack of dash be significant between "git" and "remote",
> > but then having a dash later makes it hard on the eyes.
> 
> Yes.  I have thought for years that it should be git-remote-helpers,
> that "git help" should be tweaked to look for that, and that the
> existing gitrepository-layout and friends should be replaced with
> redirects.

What was the original rationale for the "gitfoo" form? Was it just to visually distinguish command manpages from non-command manpages? I can't remember the origins now. It does seem like it is causing more hassle than it is worth, but maybe there is something I am forgetting.

-Peff