Re: [RFC PATCH 00/12] Sparse checkout

Hi,

On Thu, 24 Jul 2008, Nguyen Thai Ngoc Duy wrote:

On 7/23/08, Johannes Schindelin [off-list ref] wrote:

quoted

 On Wed, 23 Jul 2008, Nguyen Thai Ngoc Duy wrote:

 > On 7/23/08, Johannes Schindelin [off-list ref] wrote:
 >
 > > And with core.sparseCheckout you are at the whim of the user, 
 > > since .git/config is _supposed_ to be user-editable.
 >
 > Well, whatever place. I chose .git/config because I did not want to 
 > introduce a new config place. But then how about 
 > .git/sparsecheckout?

No, I did mean the index.  This is an attribute of the index: either 
it is sparsely checked out or not.  You can even have multiple indices 
(switching between them by setting GIT_INDEX_FILE) which have 
different prefixes.

I don't think so. It's a mask for workdir, right? If you save it it 
index, you can switch index and the prefix as well, but workdir only has 
several subtrees that do not fit any other prefix than the original 
prefix.

Ah, you adroitly avoided addressing the issue that the user can change the 
prefix without the index ever noticing.

Well, in any case, if you do not agree that the prefix is really an 
attribute of the index, then there is nothing else I have to say on this 
series.

Ciao,
Dscho