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

Previous Next

Full log

Message #115 received at 75626 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: michael_heerdegen <at> web.de
Cc: 75626 <at> debbugs.gnu.org, tsdh <at> gnu.org
Subject: Re: bug#75626: 31.0.50;
 Dired misses or double-processes files when auto-revert-mode is
 enabled
Date: Mon, 20 Jan 2025 19:08:44 +0200

> Cc: 75626 <at> debbugs.gnu.org, tsdh <at> gnu.org
> Date: Mon, 20 Jan 2025 18:49:23 +0200
> From: Eli Zaretskii <eliz <at> gnu.org>
> 
> > From: Michael Heerdegen <michael_heerdegen <at> web.de>
> > Cc: tsdh <at> gnu.org,  75626 <at> debbugs.gnu.org
> > Date: Mon, 20 Jan 2025 14:58:58 +0100
> > 
> > Eli Zaretskii <eliz <at> gnu.org> writes:
> > 
> > > > > Introducing `dired--map-over-marks-in-progress' sounds cleaner to me
> > > > > than that.
> > > >
> > > > But it probably needs to be buffer local [...]
> > >
> > > Yes, of course.
> > 
> > Then, finally, I would name it `dired--prevent-auto-revert' because this
> > might be useful in other places as well.
> 
> Let's use dired--inhibit-auto-revert instead.

And, btw, if we want this to be useful outside of Dired, we need to
make this variable public, not internal.  That is, call it
dired-inhibit-auto-revert.

Previous Next

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