[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PL support
From: |
Yuan Fu |
Subject: |
Re: PL support |
Date: |
Sat, 9 May 2020 16:25:20 -0400 |
> On May 9, 2020, at 3:26 PM, Sébastien G <address@hidden> wrote:
>
> Le samedi 09 mai 2020 à 18:36 +0100, João Távora a écrit :
>> enhance eglot.el to automatically download server programs.
>
>
> Maybe downloading and installing server programs can be delegate to a
> new "external-tools.el" library. Something that can manage not only
> language server, but any extrnal tools requested by a mode.
>
> This library could provide an API to:
> - Declare, in a single elisp function call, an external tool with a
> name and how install it (which pkg and pkg manager to use)
> - Let modes request the presence of specific external tool with a
> single elisp function call
> - Modes can, optionnaly, request the latest version of the external
> tool to be present
>
> When an external tools is requested:
> - If the tool is not installed: Install it
> - If the tool is already installed and latest version is required:
> Update it
> - If the tool is already installed and latest version is not required:
> Do nothing
> - When installing or updating something, ask user confirmation before
> do it
> - If the tool requested cannot be installed, the mode can know it and
> desactivate some of its features.
>
>
> "external-tools" could be useful to many modes and elisp functions.
I have thought about a similar facility. While convenient for package authors
and users, maintaining the sources and installation of these programs is a
non-trivial maintenance burden and could come with security risks. I’m not sure
if Emacs has enough man-power for that.
Yuan
- Re: PL support, (continued)
- Re: PL support, Dmitry Gutov, 2020/05/10
- RE: PL support, Drew Adams, 2020/05/10
- Re: PL support, Eli Zaretskii, 2020/05/11
- Re: PL support, Dmitry Gutov, 2020/05/11
- Re: PL support, Eli Zaretskii, 2020/05/12
- Re: PL support, Dmitry Gutov, 2020/05/13
- Re: PL support, Stefan Monnier, 2020/05/09
- Re: PL support, João Távora, 2020/05/09
- Re: PL support, Sébastien G, 2020/05/09
- Re: PL support, Sébastien G, 2020/05/09
- Re: PL support,
Yuan Fu <=
- Re: PL support, Stefan Monnier, 2020/05/09
- Re: PL support, Richard Stallman, 2020/05/10
- Re: PL support, Daniel Colascione, 2020/05/10
- Re: PL support, Richard Stallman, 2020/05/11
- Re: PL support, Daniel Colascione, 2020/05/13
- Re: PL support, Richard Stallman, 2020/05/14
- Re: PL support, Richard Stallman, 2020/05/14
- Re: PL support, Stefan Monnier, 2020/05/10
- Re: PL support, Fu Yuan, 2020/05/11
- Re: PL support, Stefan Monnier, 2020/05/11