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

3 messages from 2007-07-01 to 2007-07-01. Participants: linux@horizon.com, eschvoca, Theodore Tso.
Thread: https://gitlist.dev/t/8789

## linux@horizon.com, 2007-07-01 00:45

Subject: Re: Start deprecating "git-command" in favor of "git command"
Message-ID: <20070701004517.31176.qmail@science.horizon.com>
URL: https://gitlist.dev/e/20070701004517.31176.qmail%40science.horizon.com

```
H'm... I use the git-foo forms a lot so I can do easy history substitution.
In particular, "!git-grep" (actually, "!git-g") gets used a fair bit.

```

## eschvoca, 2007-07-01 01:48

Subject: Re: Start deprecating "git-command" in favor of "git command"
Message-ID: <2b05065b0706301848o21cf9e90g14f759a99196dcf2@mail.gmail.com>
URL: https://gitlist.dev/e/2b05065b0706301848o21cf9e90g14f759a99196dcf2%40mail.gmail.com
In-Reply-To: <20070701004517.31176.qmail@science.horizon.com>

```
By removing the dash I would miss out on man pages too.  I don' t like
seeing all the rare commands pollute my PATH.

In zsh while I'm typing a command like:

$ git-rebase branch --

I then realize I need the man page so I type "Esc-h" and it appears.
When I exit man I'm back to the same spot in the command line.

e

```

## Theodore Tso, 2007-07-01 03:00

Subject: Re: Start deprecating "git-command" in favor of "git command"
Message-ID: <20070701030019.GB28917@thunk.org>
URL: https://gitlist.dev/e/20070701030019.GB28917%40thunk.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

```