bug#35418: [PATCH] Don't poll auto-revert files that use notification

[Mattias Engdegård]

24 apr. 2019 kl. 21.36 skrev Michael Albinus <michael.albinus@gmx.de>:
> 
> Inotify didn't work on mounted directories. I don't know whether this
> has improved.

By 'work', do you mean receiving notification about changes made by the same 
machine or another machine? As far as I know, the NFS protocol has no means of 
propagating notifications, in contrast to SMB.

> What might be an alternative is to let the user decide. If we provide a
> user option `auto-revert-dont-poll', a user could set it to t, and would
> live with the consequences. If she tries to enable autorevert for a
> mounted directory, which is not covered by file notifications, she might
> be surprised.

That is a possibility, although I'm generally not too fond of user-adjustable 
behaviour of this sort. If I understand you right, you propose that the default 
value should be 'always poll'?
I would prefer the default to be 'avoid polling' -- I doubt that malfunctions 
will be common or serious if they occur -- but I suppose it is better than the 
status quo.