Re: server-local variables

[Stefan Monnier]

> I do not want to restrict server-local variables to Tramp, even if there
> isn't such other use case yet.

I have the suspicion that if another user than Tramp ever comes along,
it could have a really hard time using your API, because your API is
designed very clearly from Tramp's point of view.

I can agree that it might be desirable that this feature should be able
to set non-Tramp variables on a per-host basis (e.g. shell-file-name,
null-device, ...), but other than that I think it makes sense to add it
as a Tramp-only API at least at first.


        Stefan