Re: Tramp with global-auto-revert-mode.

[Richard Stallman]

    > I think it is best to prevent recursive calls to Tramp.
    > One way to do this is to turn off auto-revert mode
    > while inside of any Tramp operation.

    Okay, so I suggest to extend Tramp such that it looks to see if the
    buffer is busy, and if so, it signals an error.

We could do that, but we don't want attempts to auto-revert to cause
errors.  How about turning off auto-revert mode while inside Tramp?