Re: [PATCH 3/3] Teach "git branch" about --new-workdir

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jul 24, 2007, 13:54 UTC
Message-ID: <Pine.LNX.4.64.0707241453350.14781@racer.site>
In-Reply-To: <200707241547.16681.Josef.Weidendorfer@gmx.de>

Hi,

On Tue, 24 Jul 2007, Josef Weidendorfer wrote:

Show 13 quoted lines

> On Tuesday 24 July 2007, Johannes Schindelin wrote:
> 
> > 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).

I blame it on me being tired. .git/config _is_ shared, and I meant to write "index" instead of "config" there. Not really a typo, is it?

Show 8 quoted lines

> > 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.

Oh? I saw no code... To me it is not an agreement, if no code comes out of it.

Ciao, Dscho