On Tuesday 24 July 2007, Johannes Schindelin wrote:
> Hi,
>
> On Tue, 24 Jul 2007, Julian Phillips wrote:
>
> > If you were going to avoid symlinks, then probably the cleanest way would be
> > to have an explict way to point at the actual repo - rather than making the
> > working look like a repo if you squint hard enough. Which sounds rather like
> > it would be an extension to GIT_DIR + GIT_WORK_TREE.
>
> Almost. .git/{config,HEAD} are not shared.
.git/index, too. And for .git/config, it would probably be better to merge the
two config's (the one from "realGitDir" with 2nd priority).
> So it would be some extension
> that is triggered by something like
>
> [core]
> realGitDir = /bla/bla/.git/
That is more or less almost exacty the last agreement about how to
implement the lightweight checkouts, a few months ago.
Should this even work recursively?
Josef
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
