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

Re: [PATCH 2/3] git-help: add -w|--web option to display html man page in a browser.

From
Junio C Hamano <gitster@pobox.com>
Date
Dec 7, 2007, 06:04 UTC
Message-ID
<7v1w9z9h2k.fsf@gitster.siamese.dyndns.org>
In-Reply-To
<200712070635.18018.chriscool@tuxfamily.org>
Christian Couder <chriscool@tuxfamily.org> writes:
Show 9 quoted lines
>> > +# Directories that may contain html documentation:
>> > +install_html_dir="$PREFIX/share/doc/git-doc"
>> > +rpm_dir="$PREFIX/share/doc/git-core-$GIT_VERSION"
>>
>> ... doing this is wrong. People can set htmldir to somewhere other than
>> $(prefix)/share/doc/git-doc while building and installing, but you are
>> not telling the munged script where it is.
>
> Yeah, I sent a fix for this.

Why do you even need to fallback? I'd rather drop these two fallbacks entirely.

Distros have their own html documentation layout policy, so I suspect they will patch this part to their liking anyway, and this point will mostly become moot. For source distribution, I'd prefer to point at the place we know we are installing in.

Show 25 quoted lines
>> > +init_browser_path() {
>> > +	browser_path=`git config browser.$1.path`
>> > +	test -z "$browser_path" && browser_path=$1
>> > +}
>>
>> Please do not contaminate the config file with something the user can
>> easily use a lot more standardized way (iow $PATH) to configure to his
>> taste.
>>
>> I'd suggest dropping this bit.
>
> I stole this part from "git-mergetool.sh":
>
> init_merge_tool_path() {
>         merge_tool_path=`git config mergetool.$1.path`
>         if test -z "$merge_tool_path" ; then
>                 case "$1" in
>                         emerge)
>                                 merge_tool_path=emacs
>                                 ;;
> ...
> }
>
> So we should either drop it in "git-mergetool.sh" too or keep it in both 
> scripts.

I think this is an irrelevant defense. If others are doing bad, that is not a justification to make things worse.

In the case of mergetool, it has case "$merge_tool" that can be spelled totally differently from path (e.g. emerge and emacs), so that function itself is semi justified. For browser I do not think there isn't such justification.

Previous: Christian CouderNext: Junio C Hamano
Message 4 of 8 in “git-help: add -w|--web option to display html man page in a browser.”
  1. 2/3 git-help: add -w|--web option to display html man page in a browser.Christian Couder, Dec 2, 2007
  2. Junio C HamanoDec 6, 2007
  3. Christian CouderDec 7, 2007
  4. Junio C HamanoDec 7, 2007
  5. Junio C HamanoDec 7, 2007
  6. Christian CouderDec 8, 2007
  7. Junio C HamanoDec 6, 2007
  8. Junio C HamanoDec 8, 2007

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.