Re: [PATCH 1/3] doc/git-config: explain --file instead of referring to GIT_CONFIG
From: Jeff King <hidden>
Date: 2021-07-14 22:23:40
Possibly related (same subject, not in this thread)
- 2021-07-20 · Re: [PATCH 1/3] doc/git-config: explain --file instead of referring to GIT_CONFIG · Junio C Hamano <hidden>
On Wed, Jul 14, 2021 at 06:20:30PM -0400, Taylor Blau wrote:
On Wed, Jul 14, 2021 at 05:37:29PM -0400, Jeff King wrote:quoted
-f config-file:: --file config-file:: - Use the given config file instead of the one specified by GIT_CONFIG. + For writing options: write to the specified file rather than the + repository `.git/config`.I wonder whether or not we should write "rather than the repository `$GIT_DIR/config`" instead of `.git/config`. The former is true for bare repositories, too, but may in fact be more confusing than what you have writen so clearly. Perhaps `.git/config` is clear enough; I definitely don't feel strongly about it.
Yes, I noticed that, too. This is copied verbatim from the other options, so if we were to do that, it should be done on top across the whole file. -Peff