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

Re: [PATCH] Let git-help prefer man-pages installed with this version of git

From
Junio C Hamano <gitster@pobox.com>
Date
Dec 7, 2007, 10:39 UTC
Message-ID
<7vodd23i1v.fsf@gitster.siamese.dyndns.org>
In-Reply-To
<87d4ti7qu1.fsf@osv.gnss.ru>
Sergei Organov <osv@javad.com> writes:
Show 14 quoted lines
> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
>
>> On Thu, 6 Dec 2007, Sergei Organov wrote:
>>
>>> Prepend $(prefix)/share/man to the MANPATH environment variable before 
>>> invoking 'man' from help.c:show_man_page().
>>
>> This commit message is severely lacking.  Why would you _ever_ prefer the 
>> installed man pages before invoking "man", which should find them
>> anyway?
>
> Obviously because you want manual pages corresponding to the version of
> git you are invoking, not any random version of man-pages man may find
> by default.

While I almost agree with the rest of your sentence, you have to realize that it is obviously not obvious if somebody asked you to clarify.

How about this:
    Prepend $(prefix)/share/man to the MANPATH environment variable
    before invoking 'man' from help.c:show_man_page().  There may be
    other git documentation in the user's MANPATH but the user is asking
    a specific instance of git about its own documentation, so we'd
    better show the documentation for _that_ instance of git.
Having written that, it is very tempting to further clarify the above:
    Usually, if a user has his own version of git and regularly uses it
    by having the non-system executable directory (e.g. $HOME/bin/git)
    early in his $PATH, its corresponding documentation would also be in
    a non-system documentation directory (e.g. $HOME/man) early in his
    $MANPATH, and this change is a no-op.  The only case this change
    matters is where the user installs his own git outside of his $PATH
    and $MANPATH, and explicitly runs his git executable
    (e.g. "$HOME/junk/git-1.5.4/bin/git diff").

When you clarify it this way, the change does not look as useful anymore, does it? How typical would that use be, to run your git executable by always naming it by path without relying on $PATH environment variable?

Previous: Sergei OrganovNext: Sergei Organov
Message 4 of 10 in “Let git-help prefer man-pages installed with this version of git”
  1. Let git-help prefer man-pages installed with this version of gitSergei Organov, Dec 6, 2007
  2. Johannes SchindelinDec 6, 2007
  3. Sergei OrganovDec 7, 2007
  4. Junio C HamanoDec 7, 2007
  5. Sergei OrganovDec 7, 2007
  6. Andreas EricssonDec 7, 2007
  7. Sergei OrganovDec 7, 2007
  8. Junio C HamanoDec 7, 2007
  9. David BrownDec 7, 2007
  10. David BrownDec 7, 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.