Re: Does "git config --local core.excludefiles" exclude files in a single repository?
- From
Jeff King <peff@peff.net>
- Date
- Jul 3, 2012, 07:30 UTC
- Message-ID
- <20120703073016.GC16679@sigill.intra.peff.net>
- In-Reply-To
- <A0DB01D693D8EF439496BC8B037A0AEF02C738@xmb-rcd-x15.cisco.com>
On Fri, Jun 29, 2012 at 06:11:06PM +0000, Matt Seitz (matseitz) wrote:
> Will git ignore files in an exclusion file that is specified in a > local ($GIT_DIR/config) "core.excludefiles" configuration option?
Yes, git should treat it the same as if it were mentioned in $HOME/.gitconfig (modulo the correct spelling of "core.excludesfile"). It will override any core.excludesfile found in a system-level or user-level git config file.
Show 7 quoted lines
> I know that "$GIT_DIR/info/exclude" is normally used for listing files > that a single user wants exclude from a single repository. And I know > that "git config --global core.excludefiles=<file>" is normally used > for listing files that a single user wants to exclude from all > repositories. But I didn't see any explicit documentation for whether > "git config core.excludefiles=<file>" would exclude files for a single > user in a single repository.
In general, git does not care about the exact source of config variables. Options in more specific files override less-specific ones, but there is no per-variable code that cares specifically about the location of core.excludesfile or any other option.
-Peff