git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH 1/2] Documentation: config: add "browser.<tool>.path".

From
Junio C Hamano <gitster@pobox.com>
Date
Jan 28, 2008, 07:36 UTC
Message-ID
<7v1w82wgev.fsf@gitster.siamese.dyndns.org>
In-Reply-To
<20080128080223.de8a67d2.chriscool@tuxfamily.org>
Christian Couder <chriscool@tuxfamily.org> writes:
Show 17 quoted lines
> Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
> ---
>  Documentation/config.txt |    4 ++++
>  1 files changed, 4 insertions(+), 0 deletions(-)
>
> diff --git a/Documentation/config.txt b/Documentation/config.txt
> index 877eda9..c2fedd1 100644
> --- a/Documentation/config.txt
> +++ b/Documentation/config.txt
> @@ -367,6 +367,10 @@ branch.<name>.rebase::
>  	it unless you understand the implications (see linkgit:git-rebase[1]
>  	for details).
>  
> +browser.<tool>.path::
> +	Override the path for the given tool that may be used to
> +	browse help. See linkgit:git-help[1].
> +
Thanks.

I wonder if we want to stress the fact that this is about rendering HTML version of the manual. IOW, the <tool>.path is about the path the chosen HTML renderer program is at, and not consulted at all unless "git help -w help" is run.

Also, do we want to list the repertoire of <tool>? Unlike <name> in "remote.<name>.url" and "branch.<name>.remote", this is not something the end user can arbitrarily name.

Incidentally, I notice that git-help manual page does not list what browsers are supported (except that it hints that firefox is usable by having an example "browser.firefox.path"), even though it tells how the browser is picked via "*.browser".

Previous: Christian CouderNext: Christian Couder
Message 2 of 3 in “Documentation: config: add "browser.<tool>.path".”
  1. 1/2 Documentation: config: add "browser.<tool>.path".Christian Couder, Jan 28, 2008
  2. Junio C HamanoJan 28, 2008
  3. Christian CouderJan 29, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.