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:08:43 +0100 Message-ID: <87v8jeowmc.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="8216"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Pedro Andres Aranda Gutierrez , Yuan Fu , Emacs developers , 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:09:36 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 1pZAau-0001xy-Df for ged-emacs-devel@m.gmane-mx.org; Mon, 06 Mar 2023 14:09:36 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pZAaC-0001Mw-0O; Mon, 06 Mar 2023 08:08:52 -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 1pZAaA-0001Mi-Nn for emacs-devel@gnu.org; Mon, 06 Mar 2023 08:08:50 -0500 Original-Received: from mail-ed1-x52c.google.com ([2a00:1450:4864:20::52c]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pZAa7-0002FD-Kb for emacs-devel@gnu.org; Mon, 06 Mar 2023 08:08:50 -0500 Original-Received: by mail-ed1-x52c.google.com with SMTP id i34so38255353eda.7 for ; Mon, 06 Mar 2023 05:08:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678108125; 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=dNot+rJa6KFw2gbBK6K5RFCzFijYoa3Kw1ruq5gDRBc=; b=g2sLFTgKMWn4gs8EgSdVyejRbUyeGsUYKXdQvdpc3ajAvTJUv3cJZ0vzCPTJWYGYru 2VNo/5zQOPHAxp4JhWdCZeL47p3wnyGsrmkVCVyL+kepbKXCHNGOJEoWVtKSLJUD1V8r AEgjK/s9OjUuWdXKqq7Fdqr2/pwi5up3TmwvJE1QJKE4fB2IuhdBz9zjmLt7V+3rOxi4 X4zzp5/4vxWeYziXUWtkmss1zk9Zd1m9iyJSLn+03m43fNUHuVgf4IJHVPm4/EVM0jMF jUbLPZNkSO9yUgLRRaqVuMMIfrscU3PKtFiZkzJd7gIf9kyEW+i/VPKp9YrRGkFdarS6 215g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678108125; 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=dNot+rJa6KFw2gbBK6K5RFCzFijYoa3Kw1ruq5gDRBc=; b=b98xfQ+v5XjN7Ts2uUdOjGPBFl1k6QmSy5BCii/SraXzml4+hs8z88iYOxn4X4b9Yi 6YRIkxUC1Qm54MtGdEXk+L7GF9/gEFBnsvOiPXMmhkqkXCArmr5Ni1f78iQV7pqK2ofP 05hPJcgyZH48dBAuZg1Xye2smLtvlLNm8U4A4LvekPHnNSpyCPCWL3Br7q2r23pm6vGk Za+H2aHusnNgmiTsC4QDRMSwVTBNSdYwRyYwsO/D5ixUrQpLMg+SdpB7w9nZTJcdXED9 HZ7O0z7zMxM2UhpiGntGHu8pqpsqn3BK8B1Y/FTEjZLrqnPStkJ0JprIULw+l+U2fXGt ZPCQ== X-Gm-Message-State: AO0yUKX7JPHgNDFT/K17ffGuBOlKnBvkczl/esU1gWpV3fjJEtkDhksQ EhFqObSFxBQvY8Va4gmeaI8= X-Google-Smtp-Source: AK7set9JO/epzjPaZ0VX70fQDSMu++DMNduQjtnh9w1YxP+RS+k84jn6GpDLfvGOmql4bNVTuWcF0g== X-Received: by 2002:a17:907:6e1b:b0:907:68b9:e04e with SMTP id sd27-20020a1709076e1b00b0090768b9e04emr13512109ejc.19.1678108125611; Mon, 06 Mar 2023 05:08:45 -0800 (PST) Original-Received: from ars3 ([2a02:8109:8ac0:56d0::8b3a]) by smtp.gmail.com with ESMTPSA id v12-20020a170906338c00b008ba9e67ea4asm4580304eja.133.2023.03.06.05.08.44 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 06 Mar 2023 05:08:45 -0800 (PST) In-Reply-To: (=?utf-8?Q?=22Jo=C3=A3o_T=C3=A1vora=22's?= message of "Mon, 6 Mar 2023 11:46:29 +0000") Received-SPF: pass client-ip=2a00:1450:4864:20::52c; envelope-from=arstoffel@gmail.com; helo=mail-ed1-x52c.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:304037 Archived-At: On Mon, 6 Mar 2023 at 11:46, Jo=C3=A3o T=C3=A1vora wrote: > I think that's exactly what I'm proposing with the Eglot helper. > > (defun eglot-dotted-to-plist (strings) > "Return plist suitable for adding to `eglot-workspace-configuration' > STRINGS is a list of VSCode style dotted notation settings." > ...) > > A fun exercise, probably. First stab at it gets a virtual cookie :-) If you think this is the best approach, then let's make a Customize-based thing where you can enter the alist of "dotted names" and the corresponding value. I bet it's actually _way more_ code than the Magit commit style thingy, but it's indeed a bit more user friendly. And when LSP adds the ability for the server to communicate its configuration schema (funny how this idea escaped them), we can adapt the UI easily to it.