[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: |
João Távora |
Subject: |
Re: Explain a bit more on how to configure language server in Eglot's manual |
Date: |
Tue, 14 Mar 2023 18:53:58 +0000 |
On Tue, Mar 14, 2023 at 6:48 PM Michael Eliachevitch
<m.eliachevitch@posteo.de> wrote:
>
>
> I suggest to also mention in the manual that json arrays should be represented
> as vectors in square brackets.
OK, Can you submit a patch? Bonus points if you add your :texlab example.
> This came up in my TeXLab configuration for the :args parameter for the
> executable:
>
> (:texlab
> :build (:executable "latexmk"
> :args ["-interaction=nonstopmode" "-f"
> "-output-directory=./build" "%f"]))
>
> Other than that, I found the new documentation very clear, thanks a lot for
> that!
Thanks! it wasn't easy to write, so I'm glad it helped.
João
- 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', Augusto Stoffel, 2023/03/09
- Re: Explain a bit more on how to configure language server in Eglot's manual, Yuri Khan, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, Yuri Khan, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/08
- Re: [SPAM UNSURE] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/09
- Re: [SPAM UNSURE] Explain a bit more on how to configure language server in Eglot's manual, Yuan Fu, 2023/03/10
- Re: Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/14
- Re: Explain a bit more on how to configure language server in Eglot's manual,
João Távora <=
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/14
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Eli Zaretskii, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/15
Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06