[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making `eglot-server-programs' a custom variable?
From: |
João Távora |
Subject: |
Re: Making `eglot-server-programs' a custom variable? |
Date: |
Fri, 11 Nov 2022 09:09:04 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Yuri Khan <yuri.v.khan@gmail.com> writes:
> On Fri, 11 Nov 2022 at 04:45, João Távora <joaotavora@gmail.com> wrote:
>
>> eglot-server-programs grew formidably over the last 4 years, and I have
>> no objections to keep growing it. Being exhaustive is going to be
>> reasonably hard, because so many servers will continue to appear. Even
>> faster than programming languages. And some servers are just abandoned,
>> which is another annoyance. And we should not assume the user won't
>> want to tweak to add flags or servers we don't know about. That would
>> contradicts my lengthy experience with the uses of this variable.
>
> I might be using Eglot unconventionally, but this is how I do it:
Dir-local eglot-server-programs sounds fine, as long as the project
files you intend for Eglot to manage are contained entirely inside one
directory, which they usually are.
João
- Re: Making `eglot-server-programs' a custom variable?, (continued)
Re: Making `eglot-server-programs' a custom variable?, Arash Esbati, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, João Távora, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, João Távora, 2022/11/10
- Re: Making `eglot-server-programs' a custom variable?, Yuri Khan, 2022/11/11
- Re: Making `eglot-server-programs' a custom variable?,
João Távora <=
- Re: Making `eglot-server-programs' a custom variable?, Brian Cully, 2022/11/11
- Re: Making `eglot-server-programs' a custom variable?, Michael Albinus, 2022/11/12
Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/11
Re: Making `eglot-server-programs' a custom variable?, João Távora, 2022/11/11
Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/11
Re: Making `eglot-server-programs' a custom variable?, Arash Esbati, 2022/11/12
Re: Making `eglot-server-programs' a custom variable?, Eli Zaretskii, 2022/11/12
Re: Making `eglot-server-programs' a custom variable?, Arash Esbati, 2022/11/12
Re: Making `eglot-server-programs' a custom variable?, Augusto Stoffel, 2022/11/10
Re: Making `eglot-server-programs' a custom variable?, Arash Esbati, 2022/11/11