Re: [PATCH] user.default: New config to prevent using the default values for user.*
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 5, 2008, 21:29 UTC
- Message-ID
- <7vr6eolv0r.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <1204744684-2043-1-git-send-email-sbejar@gmail.com>
Santi Béjar <sbejar@gmail.com> writes:
Show 5 quoted lines
> +user.default:: > + If false the defaults values for user.email and user.name are not > + used. Useful when you want a different email/name for each > + repository, normally set in the global config file. > +
Aren't there other configuration variables that you might want to tweak per repository?
Perhaps you can make git-init run a post-init hook script by default, and have ~/.gitconfig specify the location of it, and have it do whatever custom settings to the per-repository configuration file?
Wouldn't that be a more generally useful thing to do, instead of adding special-purpose configuration variables like this?
If we go that alternate route, I would imagine that we would need to add "--no-post-init" flag to git-init (and probably an environment GIT_NO_POST_INIT) so that git-clone and others that run git-init internally can disable the hook if they want to.