Junio C Hamano writes:
> Yes, but you need to realize that "it is better not to bother users
> with a report of failure to touch in read-only repository" and "we
> ignore all failures".
Sorry about an unfinished sentence here. "need to realize that
... and ... are different
Christian Couder writes:
>> You are listing only the irrelevant cases. The shared one may be
>> used immediately, and the user can keep using it for a while without
>> "touching".
>
> Now you are talking about a case where the shared index file can be
> used
On Wed, Jan 25, 2017 at 9:52 PM, Junio C Hamano wrote:
> Christian Couder writes:
>
>> Well, when we cannot freshen a loose file (with
>> freshen_loose_object()), we don't warn or die, we just write the loose
>> file. But here we cannot write the
Christian Couder writes:
> Well, when we cannot freshen a loose file (with
> freshen_loose_object()), we don't warn or die, we just write the loose
> file. But here we cannot write the shared index file.
I think that is an excellent point. Let me make sure I got you
On Mon, Jan 23, 2017 at 7:53 PM, Junio C Hamano wrote:
> Christian Couder writes:
>
>> Also in general the split-index mode is useful when you often write
>> new indexes, and in this case shared index files that are used will
>> often be freshened,
Christian Couder writes:
> Also in general the split-index mode is useful when you often write
> new indexes, and in this case shared index files that are used will
> often be freshened, so the risk of deleting interesting shared index
> files should be low.
> ...
>>
On Thu, Jan 19, 2017 at 8:00 PM, Junio C Hamano wrote:
> Duy Nguyen writes:
>
>> On Mon, Jan 9, 2017 at 9:34 PM, Junio C Hamano wrote:
>>> Duy Nguyen writes:
>>>
On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano
On Fri, Jan 20, 2017 at 2:00 AM, Junio C Hamano wrote:
> Duy Nguyen writes:
>
>> On Mon, Jan 9, 2017 at 9:34 PM, Junio C Hamano wrote:
>>> Duy Nguyen writes:
>>>
On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano
Duy Nguyen writes:
> On Mon, Jan 9, 2017 at 9:34 PM, Junio C Hamano wrote:
>> Duy Nguyen writes:
>>
>>> On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano wrote:
Christian Couder writes:
On Mon, Jan 9, 2017 at 9:34 PM, Junio C Hamano wrote:
> Duy Nguyen writes:
>
>> On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano wrote:
>>> Christian Couder writes:
>>>
So what should we do if
Duy Nguyen writes:
> On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano wrote:
>> Christian Couder writes:
>>
>>> So what should we do if freshen_file() returns 0 which means that the
>>> freshening failed?
>>
>> You tell me ;-) as
On Sun, Jan 8, 2017 at 4:46 AM, Junio C Hamano wrote:
> Christian Couder writes:
>
>> So what should we do if freshen_file() returns 0 which means that the
>> freshening failed?
>
> You tell me ;-) as you are the one who is proposing this feature.
Christian Couder writes:
> So what should we do if freshen_file() returns 0 which means that the
> freshening failed?
You tell me ;-) as you are the one who is proposing this feature.
Isn't a failure to freshen it a grave error? We are letting a
base/shared index
On Tue, Dec 27, 2016 at 8:10 PM, Junio C Hamano wrote:
> Christian Couder writes:
>
>> +/*
>> + * Signal that the shared index is used by updating its mtime.
>> + *
>> + * This way, shared index can be removed if they have not been used
>> + * for
Christian Couder writes:
> +/*
> + * Signal that the shared index is used by updating its mtime.
> + *
> + * This way, shared index can be removed if they have not been used
> + * for some time. It's ok to fail to update the mtime if we are on a
> + * read only file
When a split-index file is created, let's update the mtime of the
shared index file that the split-index file is referencing.
In a following commit we will make shared index file expire
depending on their mtime, so updating the mtime makes sure that
the shared index file will not be deleted soon.
16 matches
Mail list logo