[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Explain a bit more on how to configure language server in Eg
From: |
João Távora |
Subject: |
Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual |
Date: |
Wed, 15 Mar 2023 18:54:36 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Eliachevitch <m.eliachevitch@posteo.de> writes:
> Thanks Eli, I incorporated your comments into v2 of the patch attached
> below.
Thanks Michael and Eli.
I'll push the patch soon it with a
Copyright-paperwork-exempt: Yes
cookie, since this seems to fall under the "trivial" basket, but you
should probably get a FSF copyright assignment for future contributions.
Minor comments below.
> (setq-default eglot-workspace-configuration
> @@ -1241,17 +1241,21 @@ JSONRPC objects in Elisp
> For representing the JSON leaf values @code{true}, @code{false},
> @code{null} and @code{@{@}}, you can use the Lisp values @code{t},
> @code{:json-false}, @code{nil}, and @code{eglot-@{@}}, respectively.
> +JSON arrays are represented as lisp vectors surrounded by square
> brackets
"Lisp" should be capitalized (pedantically, "Elisp", since vectors in
other dialects have different read syntax, but Lisp is fine)
> (:pylsp (:plugins (:jedi_completion (:include_params t
> - :fuzzy t)
> - :pylint (:enabled :json-false)))
> + :fuzzy t)
> + :pylint (:enabled :json-false
> + :args ["--disable" "C0103"])))
Hmmm. I don't use "pylint" but what sense does it make to disable it
entirely (supposedly, that's what :enabled :json-false does) and then
_also_ pass args to it. Should we just enable it? This is all pretend,
of course. But shouldn't it make more sense?
João
- Re: Explain a bit more on how to configure language server in Eglot's manual, (continued)
- 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, 2023/03/14
- 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 <=
- 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
- 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, 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