Re: Suggestion: "man git clone"
- From
- H. Peter Anvin <hpa@zytor.com>
- Date
- Aug 21, 2008, 17:22 UTC
- Message-ID
- <48ADA467.1030407@zytor.com>
- In-Reply-To
- <32541b130808211007xf295e40l567ecf785a8fca22@mail.gmail.com>
Avery Pennarun wrote:
Show 11 quoted lines
> > [and I put him back...] > > Unfortunately what we don't have is a proposal that would work better. > Also, changing the behaviour of 'man' wouldn't work on any platform > other than Linux (presumably), which means the git documentation > wouldn't be able to rely on that behaviour. > > Still, in a perfect world, what *should* man do in such a case? > Automatically open /usr/man/man1/git/clone.1? >
That would probably be the best option, other options are $MANPATH/man1/git\ clone.1 or $MANPATH/mangit/clone.git (I actually tried that on the assumption that it might treat "git" as a section; unfortunately, it didn't work.)
-hpa