GNU bug report logs - #60761
[PATCH] Remove deprecated RLS server from list of eglot servers

Previous Next

Full log

Message #13 received at 60761 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: 60761 <at> debbugs.gnu.org, dimitri <at> belopopsky.com, joaotavora <at> gmail.com
Subject: Re: bug#60761: [PATCH] Remove deprecated RLS server from list of eglot
 servers
Date: Fri, 13 Jan 2023 09:18:18 +0200

> Cc: João Távora <joaotavora <at> gmail.com>
> From: Stefan Kangas <stefankangas <at> gmail.com>
> Date: Thu, 12 Jan 2023 17:15:42 -0800
> 
> Dimitri Belopopsky <dimitri <at> belopopsky.com> writes:
> 
> > I'm suggesting removing RLS from the server list in eglot, as it is
> > currently not maintained anymore by the Rust developers.
> > The github was archived: https://github.com/rust-lang/rls
> 
> Thanks, pushed to master (commit f1310859a0d).

Does "not maintained anymore by the Rust developers" necessarily mean
it is wrong to use it?  Having the server mentioned in the DB doesn't
mean we force the users to use it, just that we support it if the user
has it installed.

João, WDYT?  I guess we should to have some criteria for when to
remove servers from the DB?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.