Re: [PATCH] help: colorize man pages

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: May 20, 2021, 03:05 UTC
Message-ID: <60a5d20a4e134_1f37320860@natae.notmuch>
In-Reply-To: <xmqq35uiw3bm.fsf@gitster.g>

Junio C Hamano wrote:

Show 8 quoted lines

> "brian m. carlson" <sandals@crustytoothpaste.net> writes:
> 
> > The documentation says, "use the man program as usual".  "As usual"
> > implies the way the user would invoke it.
> 
> I guess what the documentation says matches what end users expect (I
> as an end user certainly do expect that "git help -m foo" is running
> the familiar "man" command on something that is related to "foo").

Do you also expect that `git diff a b` runs something similar to `diff a b`?

> So while making the "less" customization more discoverable and
> easily accessible would be a win for users, I have to agree that is
> out of scope of this project's mission.

How is enabling a configuration already present in `man` out of scope, but running an *ENTIRELY* different program--such as konqueror or woman--to view man pages is not?

  git help --man git

Doesn't even necessarily run man *already*.

-- 
Felipe Contreras