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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Jonathan Nieder <jrnieder@xxxxxxxxx> writes:

> I am still not very happy about it.  The man browser is in a much
> better position to help: the default MANPATH (at least under Debian;
> see manpath(5)[1]) is generated by mapping $PATH entries on the fly, and
> it seems like only an oversight that it deals with directories under
> /usr but not /home.  And it does not thrill me that we would be
> training people that
>
> 	git help git
>
> will cover for the installer's mistakes, while the more conventional
>
> 	man git
>
> mechanism (which is also used for other programs installed to $HOME)
> will not.

Well, is there anything I can do to help your unhappiness about that?

Where is your unhappiness coming from?  Is this your argument?

	'git help' allows distros' oversight with its -m and -i options;
	it discourages distros to get their act together.

I personally do not think punishing users of distros by not helping would
be an effective way to encourage distros to help their users, so even
though I kind of agree with that statement, I wouldn't conclude that with
"therefore, git shouldn't try to be helpful with 'help [-m|-i]'".

--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux Kernel Development]     [Gcc Help]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [V4L]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Fedora Users]