From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Augusto Stoffel Newsgroups: gmane.emacs.devel Subject: Re: Explain a bit more on how to configure language server in Eglot's manual Date: Mon, 06 Mar 2023 14:01:09 +0100 Message-ID: <87zg8qowyy.fsf@gmail.com> References: <87cz5mqicb.fsf@gmail.com> <874jqyqh51.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4830"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Yuan Fu , Emacs developers , Pedro Andres Aranda Gutierrez , Stephen Leake To: =?utf-8?B?Sm/Do28gVMOhdm9yYQ==?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Mar 06 14:02:16 2023 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pZATo-00017I-3H for ged-emacs-devel@m.gmane-mx.org; Mon, 06 Mar 2023 14:02:16 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pZATC-00078t-5X; Mon, 06 Mar 2023 08:01:38 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZASq-00075m-7Z for emacs-devel@gnu.org; Mon, 06 Mar 2023 08:01:19 -0500 Original-Received: from mail-ed1-x52a.google.com ([2a00:1450:4864:20::52a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pZASn-0000ZV-8V for emacs-devel@gnu.org; Mon, 06 Mar 2023 08:01:15 -0500 Original-Received: by mail-ed1-x52a.google.com with SMTP id x3so38062197edb.10 for ; Mon, 06 Mar 2023 05:01:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678107671; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=7M6agOTtPVY06pEjWvUBznClHmQrEMxdjDPuQbWYqVA=; b=UcKj8yNAGRZwsgxAxjuEdZkIh3zZFPB/n9SHEcZ6WBe7VoehV1kmqISeSikR8/NI5c JUlg9NH1Big3/KRNeA5M/AWQix+krAAQ9XcqmIqinxXPhHeKq3F5dNLOWCdEp5AYKZ/r NsLrzshR4lGlpJ7QOhNn2bkW8lmceoFPQlLdAts4zG+6MZYcH4Whw4/TOnnoVy/lS07/ PlBvfYYgzy+PeN4bB1VoiBC43ACA36BtyCBJPlCBu5QK0fy5prDDSqokRI4n2qTSbHCA iJEOdOaRsQi2Ud9vfyNG1MpcVK3N1Q8TaqHwO3spHxeyYZyhHJsFi33rW0Unk9RndMa6 yGcg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678107671; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=7M6agOTtPVY06pEjWvUBznClHmQrEMxdjDPuQbWYqVA=; b=D55SogYbIDlwsqF/ERooM/4gERZEPEYqgZ71PjGhP269Vr0Kqqt4COU/no3nqdOrQr /axcKY8z/je8oYrShf4dcigDWdgUc72FCmCcyO3asyr/wXbnBBwiEU5nFZo00GUza3eb CdtSJi/Zu/76UNpeHAG63R0AOH3nLLAGvuAEJ+Cw03ZS2kNifFaFMEP/HN3K+uM3LzcU 5m8Zi5tz1x/eRN9HACbnUnb2ZgtZtqZp6cYP6oZ3RDpsEXTz/FStWjIX3ExqHAV66x0y zEeWxTNhLhiDI6IY+seo2ETYDkNYpvJrKo5TmPqTcNjNYduA8EjC+IYS6YMi+yM29iVz vMaQ== X-Gm-Message-State: AO0yUKVpY3RSQDsQt2OIamyqHBvsAoI0QO/X42hSRsW7O6X9VeB4mKCV uDFAXSthYsO7DMao2tu/A2s= X-Google-Smtp-Source: AK7set9XdjC9N5KJGFZFbM7CzH0AJkwrcw5d43jZqVnBEP/XwG+ZC9VVoTdTwnmedyQ6ymr550Vbmg== X-Received: by 2002:a50:ed11:0:b0:4c6:7d29:63bd with SMTP id j17-20020a50ed11000000b004c67d2963bdmr9514061eds.35.1678107671237; Mon, 06 Mar 2023 05:01:11 -0800 (PST) Original-Received: from ars3 ([2a02:8109:8ac0:56d0::8b3a]) by smtp.gmail.com with ESMTPSA id k20-20020a17090627d400b008b17ca37966sm4585882ejc.148.2023.03.06.05.01.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 06 Mar 2023 05:01:10 -0800 (PST) In-Reply-To: (=?utf-8?Q?=22Jo=C3=A3o_T=C3=A1vora=22's?= message of "Mon, 6 Mar 2023 11:13:40 +0000") Received-SPF: pass client-ip=2a00:1450:4864:20::52a; envelope-from=arstoffel@gmail.com; helo=mail-ed1-x52a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:304036 Archived-At: On Mon, 6 Mar 2023 at 11:13, Jo=C3=A3o T=C3=A1vora wrote: > On Mon, Mar 6, 2023 at 11:00=E2=80=AFAM Augusto Stoffel wrote: >> >> On Mon, 6 Mar 2023 at 10:51, Jo=C3=A3o T=C3=A1vora wrote: >> AFAICT this mechanism has been agreed upon. VC log, Magit commit, Org >> capture, to name a few, all use the kind of UI I described. > > These are not for editing values of Emacs Lisp variables. To me, the server configuration is a Lisp value to the same extent that my ~/.config/pycodestyle or .clangd files are. IOW, not at all. Except that, due to Microsoft reasons, the server doesn't read its own configuration file as has been done since the dawn of civilization and, instead, we need to intermediate this. So the best and least vscode-oriented UI is the one that lets the user edit the configuration as if it was a config file. If it is presented as in sexp or JSON or YAML or TOML format is immaterial (I dislike the sexp format a bit because it leaks details about how jsonrpc.el represents null, false and the empty mapping.)