[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PL support
From: |
Sébastien G |
Subject: |
Re: PL support |
Date: |
Sat, 09 May 2020 21:26:22 +0200 |
User-agent: |
Evolution 3.36.2 (3.36.2-1.fc32) |
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.
signature.asc
Description: This is a digitally signed message part
- Re: PL support, (continued)
- Re: PL support, Richard Stallman, 2020/05/10
- 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 <=
- Re: PL support, Yuan Fu, 2020/05/09
- 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