Symlinks has nothing to do with the fact that I want the part of the
configuration to be versioned. BTW on windows symlinks work kinda
differently. Of course since Vista/Server 2008 we have mklink bundled, but
I don't think msys.win will handle this situation correctly. Nevertheless
the fact that the path to project-specific git extensions can change in
futer remains true. So the only way to handle this correctly is to allow
repository git configuration be versioned. At least a part of it.
вторник, 3 июня 2014 г., 15:12:09 UTC+3 пользователь Magnus Therning
> On Tue, Jun 03, 2014 at 04:24:43AM -0700, Pierre-François CLEMENT wrote:
> > > I want to extend git commands set on per-repository basis and
> therefore I
> > > need to have VERSIONED sort of .config file
> > >
> > You can use the repository's .git/config file to set repo-specific
> > configuration, but why would you want it to be versioned in the
> > project itself? It'd force anybody who can clone the repo to have
> > the same config file.
> > I guess that the closer you could get to this would be to version a,
> > say, git.config file in the project root and then replace the repo's
> > .git/config file with a symlink to it. But keep in mind that it'll
> > still require whoever can clone the repo to decide to do so, you
> > won't be able to force them -- and doing so will prevent them from
> > having their own per-repository config file.
> Something I'd be more comfortable with is making `git-config` a shell
> script containing calls to `git config --local`. Yes, it's then a
> two-step procedure, and people might forget to perform the second
> step, but *I* am in control and a `git pull` will not silently cause
> any config changes.
> Magnus Therning OpenPGP: 0xAB4DFBA4
> twitter: magthe http://therning.org/magnus
> What gets measured, gets done.
> -- Tom Peters
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.