Re: [PATCH 1/2] user-manual: Simplify the user configuration.
- From
Jeff King <peff@peff.net>
- Date
- Jan 25, 2009, 21:44 UTC
- Message-ID
- <20090125214435.GA20173@coredump.intra.peff.net>
- In-Reply-To
- <94a0d4530901251312q4201d51btd806fe860a12afd6@mail.gmail.com>
On Sun, Jan 25, 2009 at 11:12:57PM +0200, Felipe Contreras wrote:
> However, my last proposal was to have both the git config --global > *and* the $HOME/.gitconfig description. Is there any argument against > that?
This is like the fifth time you have asked, and for some reason, nobody seems to have said yes or no. So I will go ahead and say: yes, I think that is a fine idea.
I think there should also be some explanatory text that indicates they are totally interchangeable for the rest of the document. Something like: "When we show configuration in the rest of this document, we will use format X [I think probably "git config $VAR $VALUE"]. But you can use whichever method you are most comfortable with."
-Peff