[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Explain a bit more on how to configure language server in Eglot's ma
From: |
Augusto Stoffel |
Subject: |
Re: Explain a bit more on how to configure language server in Eglot's manual |
Date: |
Mon, 06 Mar 2023 22:13:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Mon, 6 Mar 2023 at 18:32, João Távora wrote:
> On Mon, Mar 6, 2023 at 6:18 PM Augusto Stoffel <arstoffel@gmail.com> wrote:
>
>> > add-dir-local-variable with new edit-in-buffer option, an eval option,
>> > and a fill-in-existing-value option. As a bonus, all those are
>> > orthogonal, so you can do 100 + 100 + 100.
>>
>> Fair enough. I think you might be overestimating the general interest
>> in those things and underestimating the amount of glue code Eglot would
>> still need, but it's just a hunch.
>
> What glue code? M-x add-dir-local-variable (or M-x add-project-local-variable
> which is a just a very thing shim on top of the other), then select
> eglot-workspace-configuration, then edit the value and you're done.
You're done and scratching your head, wondering why your server didn't
pick up the settings yet.
> Not a hack, really. eglot-show-workspace-configuration shows the actual
> configuration in JSON format. That's useful and LSP specific, so it
> belongs in Eglot. Fredrik Bergroth added it because that is what is
> sent to the server and is really good for debug purposes and
> communicating with server devs, for example. So it's not subsumed
> by C-h v, for example.
By that reasoning one would want the entire events buffer in JSON
format. In my recollection that command was really intended to debug
user configurations.
- Re: Explain a bit more on how to configure language server in Eglot's manual, (continued)
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Pedro Andres Aranda Gutierrez, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Pedro Andres Aranda Gutierrez, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual,
Augusto Stoffel <=
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06
Re: Re: Explain a bit more on how to configure language server in Eglot's manual, Pedro Andres Aranda Gutierrez, 2023/03/12