Hi, On Thu, 24 Jul 2008, Nguyen Thai Ngoc Duy wrote: > On 7/23/08, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > > > On Wed, 23 Jul 2008, Nguyen Thai Ngoc Duy wrote: > > > > > On 7/23/08, Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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 -- 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
