Re: [PATCH v1 00/19] Add configuration options for split-index

2016-11-03 Thread Christian Couder
On Tue, Oct 25, 2016 at 12:52 PM, Duy Nguyen wrote: > On Sun, Oct 23, 2016 at 4:26 PM, Christian Couder > wrote: >> Goal >> >> >> We want to make it possible to use the split-index feature >> automatically by just setting a new "core.splitIndex" configuration >> variable to true. > > Thanks.

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-26 Thread Junio C Hamano
Duy Nguyen writes: > On Wed, Oct 26, 2016 at 12:21 AM, Junio C Hamano wrote: > > Even if we ignore user index files (by forcing them all to be stored > in one piece), there is a problem with the special temporary file > index.lock, which must use split-index because it will become the new > inde

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-26 Thread Duy Nguyen
On Wed, Oct 26, 2016 at 12:21 AM, Junio C Hamano wrote: >> Timestamps allow us to say, ok this base index file has not been read >> by anybody for N+ hours (or better, days), it's most likely not >> referenced by any temporary index files (including >> $GIT_DIR/index.lock) anymore because those fi

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-25 Thread Junio C Hamano
Duy Nguyen writes: > ... But those files > people generate manually and refer to them with $GIT_INDEX_FILE, we > can't know where they are. Then we probably should stop doing that, i.e. disable split-index automatically for these temporary ones, perhaps, and even with Christian's series which al

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-25 Thread Duy Nguyen
On Sun, Oct 23, 2016 at 4:26 PM, Christian Couder wrote: > Goal > > > We want to make it possible to use the split-index feature > automatically by just setting a new "core.splitIndex" configuration > variable to true. Thanks. This definitely should help make split index a lot more convenien

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-25 Thread Duy Nguyen
On Tue, Oct 25, 2016 at 1:07 AM, Junio C Hamano wrote: >> - splitIndex.sharedIndexExpire >> >> To make sure that old sharedindex files are eventually removed >> when a new one has been created, we "touch" the shared index file >> every time it is used by a new split index file. The

Re: [PATCH v1 00/19] Add configuration options for split-index

2016-10-24 Thread Junio C Hamano
Christian Couder writes: > The design is similar as the previous work that introduced > "core.untrackedCache". > > The new "core.splitIndex" configuration option can be either true, > false or undefined which is the default. > > When it is true, the split index is created, if it does not already

[PATCH v1 00/19] Add configuration options for split-index

2016-10-23 Thread Christian Couder
Goal We want to make it possible to use the split-index feature automatically by just setting a new "core.splitIndex" configuration variable to true. This can be valuable as split-index can help significantly speed up `git rebase` especially along with the work to libify `git apply` that has