[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: eglot and tramp
From: |
Michael Albinus |
Subject: |
Re: eglot and tramp |
Date: |
Tue, 15 Nov 2022 20:46:05 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Brian Cully <bjc@spork.org> writes:
Hi Brian,
>> It is on my TODO to check how well Tramp is integrated with eglot. Great
>> to hear that it seems to work flawless, but I believe there might be
>> some hints for performance improvement, like setting
>> "direct-async-process" connection property.
>
> I wouldn't go so far as to say "flawlessly". It does often run into the
> "forbidden re-entrant call to Tramp" problem, but that's not unique to
> Eglot, and it doesn't seem to cause any problems other than an annoying
> message periodically in the echo area.
Yes, this is an open problem. I hoped to fix it by using threads in
Tramp, but this has other problems.
> Otherwise it works pretty well. I've been using it like this for years,
> and am pretty happy with it.
Great! Since you are a regular eglot+Tramp user, could I ask you for a
test?
I assume you are using Tramp with ssh or scp. If you also don't use a
password (for example via public key authentication), please try the
following setting:
--8<---------------cut here---------------start------------->8---
(add-to-list 'tramp-connection-properties
(list (regexp-quote "/ssh:user@host:")
"direct-async-process" t))
--8<---------------cut here---------------end--------------->8---
"/ssh:user@host:" must be adapted of course, and you must set this prior
opening a connection to this remote path. This should give you better
performance when starting the language server.
Does it work for you? Does it make a difference?
> -bjc
Best regards, Michael.
- eglot and tramp, Pedro Andres Aranda Gutierrez, 2022/11/14
- Re: eglot and tramp, Brian Cully, 2022/11/14
- Re: eglot and tramp, Michael Albinus, 2022/11/15
- Re: eglot and tramp, Brian Cully, 2022/11/15
- Re: eglot and tramp,
Michael Albinus <=
- Re: eglot and tramp, Brian Cully, 2022/11/16
- Re: eglot and tramp, Michael Albinus, 2022/11/16
- Re: eglot and tramp, Michael Albinus, 2022/11/18
- Re: eglot and tramp, Brian Cully, 2022/11/19
- Re: eglot and tramp, Michael Albinus, 2022/11/20
- Re: eglot and tramp, Brian Cully, 2022/11/21
- Re: eglot and tramp, Michael Albinus, 2022/11/21