GNU bug report logs - #75626
31.0.50; Dired misses or double-processes files when auto-revert-mode is enabled

Previous Next

Full log

View this message in rfc822 format

From: Michael Albinus <michael.albinus <at> gmx.de>
To: Tassilo Horn <tsdh <at> gnu.org>
Cc: Michael Heerdegen <michael_heerdegen <at> web.de>, 75626 <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>
Subject: bug#75626: 31.0.50; Dired misses or double-processes files when auto-revert-mode is enabled
Date: Sun, 02 Feb 2025 11:35:52 +0100

Michael Albinus <michael.albinus <at> gmx.de> writes:

> Tassilo Horn <tsdh <at> gnu.org> writes:
>
> Hi Tassilo,
>
>> Even if we would like to cater for this case, I don't understand how
>> your approach addresses the retries for buffers that skipped/inhibited
>> auto-revert.  I mean, I can envision that auto-revert maintains a list
>> of buffers it skipped but how would that be worked through?  Another
>> timer that runs more often that auto-revert-interval?
>
> I haven't investigated this yet. Perhaps you are right, and a later
> polling does the job. But this problem is recent anyway (if it is a
> problem); my proposal doesn't make it worse.

Well, there is the user option auto-revert-avoid-polling. Per default it
is set to nil; meaning that if a buffer misses an auto-revert triggered
by file notification, the next poll will do. This is what we want.

If a user changes this option, it is his/her decision.

>> Bye,
>> Tassilo

Best regards, Michael.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.