Re: [PATCH] user-manual: set user.name and user.email with repo-config

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

 




On Sun, 28 Jan 2007, Matthias Lederhofer wrote:
> 
> Good point, otoh the git-repo-config manual page is actually the one
> documenting .git/config :).

Btw, one thing I don't like about "git-repo-config" is the name.

Many people thought "git init-db" was confusing, and now we call it just 
"git init".

Can I vote for doing that for "git repo-config" too? Is there something 
wrong with just calling it "git config"?

Especially as it's not even repo-specific. Use "--global", and it has 
almost nothing at all to do with the particular "repo" you're working 
with.

What would also mean that we'd have the man-page with a simple

	man git-config

which makes tons of sense if it documents both the config file *and* the 
"git config" program.

Or is that too sneaky?

		Linus
-
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]