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

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.

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

On Sat, Jun 30, 2007 at 09:48:26PM -0400, eschvoca wrote:

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