Re: Auto-revert on remote files: disabling timers temporarily?

[Luc Teirlinck]

Michael Albinus wrote:

   Of course, it doesn't make any sense for slow links. So there should
   be an option enabling/disabling auto-reverting for remote files, as
   proposed by Kai.

That would be trivial to do.  I believe it would be OK if the default
were to disable and if the docstring gave suitable warning that
enabling can cause problems on slow connections.  If we go for an
option, then another question is whether autoreverting of remote
directories is sufficiently fast on fast connections that, if both
this option, say global-auto-revert-remote-files, and
global-auto-revert-non-file-buffers are enabled, then remote
directories should autorevert as well.

Note that, if I enable autoreverting of remote files, then, even with
the new Tramp version, I still get either a hang or an "Invalid base64
data" error if I try to visit my second remote file using Tramp-ssh.
I have a slow connection.  I do not get crashes any longer, however.

Sincerely,

Luc.