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

Re: [PATCH] Add --info-path and --man-path options to git.

From
Jonathan Nieder <jrnieder@gmail.com>
Date
May 1, 2011, 23:53 UTC
Message-ID
<20110501235332.GD11550@elie>
In-Reply-To
<20110501234833.GC11550@elie>
Hi again,
Two quick corrections.
Jonathan Nieder wrote:
> So if "git gui" were to gain a
> documentation viewer widget instead of relying on git web--browse, it
> would need the HTML path.
Actually, it already uses the HTML path. :)
> So while I can't see the harm in exposing --info-path and --man-path,
> the current patch seems to do an incomplete job of documenting them.
> Perhaps this is about finding the documentation corresponding to a
> particular copy of git when a machine has multiple copies?

It seems Jon's and my mails crossed. Here's another use case for --man-path: if your frontend wants to fall back to HTML documentation without spawning a man pager when the manpages are not installed, it needs to know where to look.

(See also gitgui-0.6.0~32, git-gui: Offer quick access to the HTML formatted documentation, 2007-01-28)

Previous: Jonathan NiederNext: Junio C Hamano
Message 5 of 14 in “Add --info-path and --man-path options to git.”
  1. Add --info-path and --man-path options to git.Jon Seymour, May 1, 2011
  2. Junio C HamanoMay 1, 2011
  3. Jon SeymourMay 1, 2011
  4. Jonathan NiederMay 1, 2011
  5. Jonathan NiederMay 1, 2011
  6. Junio C HamanoMay 2, 2011
  7. Jon SeymourMay 2, 2011
  8. Jon SeymourMay 2, 2011
  9. Jonathan NiederMay 2, 2011
  10. Junio C HamanoMay 2, 2011
  11. Jonathan NiederMay 2, 2011
  12. Documentation: clarify meaning of --html-path, --man-path, and --info-pathJonathan Nieder, May 2, 2011
  13. Jon SeymourMay 2, 2011
  14. Junio C HamanoMay 2, 2011

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.