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

Re: Start deprecating "git-command" in favor of "git command"

From
Theodore Tso <tytso@mit.edu>
Date
Jul 1, 2007, 03:00 UTC
Message-ID
<20070701030019.GB28917@thunk.org>
In-Reply-To
<2b05065b0706301848o21cf9e90g14f759a99196dcf2@mail.gmail.com>
On Sat, Jun 30, 2007 at 09:48:26PM -0400, eschvoca wrote:
> By removing the dash I would miss out on man pages too.

The man pages are something that needs careful consideration. Some man programs use the PATH as a hint to figure out which man page to show --- i.e., if /usr/local/bin/git-log is in the path then it's likely that the man page you want to show is the one in /usr/local/man/man1/git-log.1.

If we don't install git-log in the PATH, for some setups people won't be able to see the man page for git-log.

						- Ted
Previous: eschvoca
Message 3 of 3 in “Re: Start deprecating "git-command" in favor of "git command"”
  1. linux@horizon.comJul 1, 2007
  2. eschvocaJul 1, 2007
  3. Theodore TsoJul 1, 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.