unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Philip Kaludercic <philipk@posteo.net>
To: "João Távora" <joaotavora@gmail.com>
Cc: Tim Cross <theophilusx@gmail.com>,
	 emacs-devel@gnu.org,  Richard Stallman <rms@gnu.org>
Subject: Re: Renaming eglot -- or at least add an alias?
Date: Mon, 03 Oct 2022 11:21:40 +0000	[thread overview]
Message-ID: <87mtadb1a3.fsf@posteo.net> (raw)
In-Reply-To: <CALDnm50qq5p0qXS-+5446HitowbaLDseTmuS7bULc26z2RGR7g@mail.gmail.com> ("João Távora"'s message of "Sun, 2 Oct 2022 21:07:49 +0100")

João Távora <joaotavora@gmail.com> writes:

> On Sun, Oct 2, 2022 at 4:52 PM Philip Kaludercic <philipk@posteo.net> wrote:
>
>> > Those are all phrases in disguise.  Even "hl" is really two things.
>>
>> I guess so?                           What is the other thing?
>
> I just meant "hl" is a itself made of "high" and "light", two unbreakable
> signs.

I see, but then again those are the two syllables that constitute the
word, so it isn't totally arbitrary.

>> > One could have come up with a short phrase instead of Eglot, say
>> > "emacs-very-bueno" or sth like that. That would probably be more
> intuitive.
>> > But also probably silly, and easy to miss the target.
>> I am under the impression that we are talking past one another.  Yes, I
>> agree that "emacs-very-bueno" and "Eglot" are equally opaque,
>
> No, the first is not as opaque, it carries more meaning that it's something
> that enhances Emacs (also tried to carry the meaning of "joke" in my
> destitute sense of humor).

Interestingly enough it only does that if you are familiar with the
non-English word "bueno".  That being said, I get your point but am not
convinced.

>> but why is
>> that important?  I am saying that it might be good to _at the very
>> least_ add an alias for `eglot-ensure' consisting of only English words.
>
> Such words would be "turn-on-eglot-if-its-not-on-yet".

I am getting more and more confused.  What does this have to do with
what I said?

>> Also, do you have comments on the other suggestions form my previous
>> message?
>
> I don't think the conditions are there to turn Eglot on by default. Language
> servers are a big variable.  They are lots and lots of code we have no
> control
> over and there are very many of them.  It's not like relying on "ls" or
> "git".
>
> Even if they were, I'm not convinced that's a good idea. *Maybe* Eglot
> could
> become more transparent (major modes could using it as a library to do
> major-mody things) but never entirely invisible, I think. Meaning I think
> the
> user should never completely forget that there is a language server
> connection currently tied to some major modes of a project, and managing
> those buffers.

I am curious to hear why you think this should be.  Is it not preferable
to make use of the tools the environment is providing instead of falling
back on approximate heuristics like grepping for where a variable
occurred or using TAGS-files for definitions and completion?

> The command M-x eglot-list-connections doesn't exist yet, but I will add it
> soon
> for convenience and debugging purposes and to help reinforce this structure.

That will be nice to have.

> I think the popularity of `eglot-ensure`, while convenient, has somewhat
> erased this sense of structure for some users, which sometimes makes users
> have unrealistic expectations of how Eglot works, and hard to penetrate bug
> reports. I recommend M-x eglot instead.

To be fair, I do that too, and this is why I wanted to prose adding an
alias to make it easier to remember the command.  We enthusiasts often
overestimate the readiness of more casual users when it comes to
remembering commands, bindings, packages, etc.  If possible, and I still
think it is, we should try to help.



  reply	other threads:[~2022-10-03 11:21 UTC|newest]

Thread overview: 199+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-09-30  8:04 Renaming eglot -- or at least add an alias? Stefan Kangas
2022-09-30  8:27 ` Philip Kaludercic
2022-09-30  8:59   ` Theodor Thornhill
2022-09-30 12:30     ` Rudolf Adamkovič
2022-09-30 11:33   ` Basil L. Contovounesios
2022-09-30 11:38     ` João Távora
2022-09-30 12:18       ` Basil L. Contovounesios
2022-09-30 12:24         ` João Távora
2022-10-02  1:09         ` Richard Stallman
2022-09-30 13:26     ` Robert Pluim
2022-09-30 16:21       ` Basil L. Contovounesios
2022-09-30 10:30 ` Eli Zaretskii
2022-10-01  9:28   ` Richard Stallman
2022-10-01  9:53     ` Eli Zaretskii
2022-10-01 15:33       ` Philip Kaludercic
2022-10-01 15:39         ` Eli Zaretskii
2022-10-03  1:06           ` Richard Stallman
2022-10-03 16:28             ` Eli Zaretskii
2022-10-01 14:51     ` Stefan Monnier
2022-10-01 18:16       ` Stefan Monnier
2022-10-02  1:11       ` Richard Stallman
2022-10-02  1:31         ` Tim Cross
2022-10-02  2:45           ` Yilkal Argaw
2022-10-02 11:34           ` Philip Kaludercic
2022-10-02 12:44             ` João Távora
2022-10-02 14:05               ` Philip Kaludercic
2022-10-02 14:42                 ` João Távora
2022-10-02 15:03                   ` Manuel Uberti
2022-10-02 15:08                     ` Lars Ingebrigtsen
2022-10-12 11:32                       ` Robert Weiner
2022-10-12 11:55                         ` Po Lu
2022-10-12 13:25                           ` Eli Zaretskii
2022-10-12 13:42                             ` Po Lu
2022-10-12 14:03                               ` Eli Zaretskii
2022-10-02 19:54                     ` Jose A. Ortega Ruiz
2022-10-02 22:17                       ` Tim Cross
2022-10-04  1:00                       ` Richard Stallman
2022-10-02 15:52                   ` Philip Kaludercic
2022-10-02 20:07                     ` João Távora
2022-10-03 11:21                       ` Philip Kaludercic [this message]
2022-10-02 21:30                 ` Tim Cross
2022-10-03 11:06                   ` Philip Kaludercic
2022-10-03 12:34                     ` João Távora
2022-10-03 13:18                       ` Stefan Monnier
2022-10-03 16:35                         ` João Távora
2022-10-03 17:06                           ` Stefan Monnier
2022-10-04  1:01             ` Richard Stallman
2022-10-04  7:02               ` Philip Kaludercic
2022-10-04 11:27                 ` Tim Cross
2022-10-06 10:24             ` Philip Kaludercic
2022-10-06 14:11               ` [External] : " Drew Adams
2022-10-06 22:09               ` Dmitry Gutov
2022-10-01 21:57     ` Tim Cross
2022-10-03  1:07       ` Richard Stallman
2022-10-03  1:13         ` Tim Cross
2022-10-04  1:01           ` Richard Stallman
2022-10-04  1:01           ` Richard Stallman
2022-10-04  2:43             ` Po Lu
2022-10-04  7:06             ` Eli Zaretskii
2022-10-04 17:39               ` Richard Stallman
2022-10-04 18:12                 ` Eli Zaretskii
2022-10-05 21:35                   ` Richard Stallman
2022-10-05 23:21                     ` Dmitry Gutov
2022-10-07 22:49                       ` Richard Stallman
2022-10-06  0:13                     ` Tim Cross
2022-10-06  0:13                     ` Tim Cross
2022-10-06  0:38                       ` Po Lu
2022-10-06  1:18                         ` Tim Cross
2022-10-06  6:17                       ` Eli Zaretskii
2022-10-07 22:50                       ` Richard Stallman
2022-10-08 18:18                         ` chad
2022-10-09  0:35                           ` Po Lu
2022-10-09 14:21                             ` chad
2022-10-07 22:50                       ` Richard Stallman
2022-10-06  0:36                     ` Po Lu
2022-10-06  5:57                     ` Eli Zaretskii
2022-10-07 22:49                   ` Richard Stallman
2022-10-07 23:20                     ` Dmitry Gutov
2022-10-04 22:01                 ` Tim Cross
2022-10-05 10:57                   ` Alfred M. Szmidt
2022-10-05 13:17                     ` Eli Zaretskii
2022-10-05 14:46                       ` Alfred M. Szmidt
2022-10-05 15:55                         ` Alexander Adolf
2022-10-06 22:06                         ` Richard Stallman
2022-10-06 22:08                       ` Richard Stallman
2022-10-06 22:30                         ` Tim Cross
2022-10-06 23:42                           ` Jose A. Ortega Ruiz
2022-10-07 22:49                   ` Richard Stallman
2022-10-05  3:01                 ` Po Lu
2022-10-07 22:48                   ` Richard Stallman
2022-10-05 10:43             ` Alfred M. Szmidt
2022-10-06 22:09               ` Richard Stallman
2022-10-07  6:34                 ` Eli Zaretskii
2022-10-07 10:12                   ` Dmitry Gutov
2022-10-07 11:27                     ` Eli Zaretskii
2022-10-07 11:38                       ` Dmitry Gutov
2022-10-07 11:48                         ` Eli Zaretskii
2022-10-07 12:03                           ` Dmitry Gutov
2022-10-07 12:09                             ` Eli Zaretskii
2022-10-07 12:34                               ` Dmitry Gutov
2022-10-07 15:03                                 ` Emanuel Berg
2022-10-07 22:03                                   ` Tim Cross
2022-10-08  5:32                                     ` tomas
2022-10-08  6:52                                       ` Eli Zaretskii
2022-10-08  7:20                                         ` tomas
2022-10-08 16:10                                       ` [External] : " Drew Adams
2022-10-08 22:17                                 ` Alexander Adolf
2022-10-09  3:32                                   ` Stefan Monnier
2022-10-11 21:15                                     ` Richard Stallman
2022-10-11 21:54                                       ` Stefan Monnier
2022-10-12 13:21                                         ` Alexander Adolf
2022-10-12 22:02                                         ` Richard Stallman
2022-10-08 22:34                               ` Richard Stallman
2022-10-09  4:38                                 ` Eli Zaretskii
2022-10-09  4:57                                   ` Eli Zaretskii
2022-10-09  6:07                                     ` Theodor Thornhill
2022-10-09  7:56                                     ` Tim Cross
2022-10-10 22:03                                       ` Richard Stallman
2022-10-09 12:44                                     ` Dmitry Gutov
2022-10-09 13:30                                       ` Eli Zaretskii
2022-10-09 14:09                                       ` Felician Nemeth
2022-10-09 14:15                                         ` Dmitry Gutov
2022-10-09 14:45                                           ` Felician Nemeth
2022-10-09 15:25                                             ` Dmitry Gutov
2022-10-14  9:55                                               ` João Távora
2022-10-11 21:15                                     ` Richard Stallman
2022-10-12  6:04                                       ` Eli Zaretskii
2022-10-12  6:37                                         ` Yuan Fu
2022-10-12  7:15                                           ` Eli Zaretskii
2022-10-12  9:24                                             ` Tim Cross
2022-10-12 23:19                                               ` Yuan Fu
2022-10-13  0:17                                                 ` Tim Cross
2022-10-13  0:26                                                 ` Stephen Leake
2022-10-12 23:05                                             ` Yuan Fu
2022-10-12 10:50                                           ` Dmitry Gutov
2022-10-12 22:58                                             ` Yuan Fu
2022-10-14  9:59                                             ` João Távora
2022-10-13  0:41                                           ` Stephen Leake
2022-10-13  6:03                                             ` Stephen Leake
2022-10-12 13:34                                       ` Michael Albinus
2022-10-10 22:05                                   ` Richard Stallman
2022-10-11  9:24                                     ` Eli Zaretskii
2022-10-11  9:44                                       ` Theodor Thornhill
2022-10-11 17:19                                         ` Dmitry Gutov
2022-10-12 22:01                                           ` Richard Stallman
2022-10-13  0:47                                             ` Stephen Leake
2022-10-13  6:59                                               ` Theodor Thornhill
2022-10-13  8:59                                                 ` Philip Kaludercic
2022-10-13 10:37                                                   ` Eli Zaretskii
2022-10-13 10:20                                                 ` Stephen Leake
2022-10-13 10:35                                                   ` Dmitry Gutov
2022-10-13 16:11                                                   ` Theodor Thornhill
2022-10-14  3:56                                                     ` Akib Azmain Turja
2022-10-13 22:25                                                   ` Tim Cross
2022-10-03  1:55         ` Po Lu
2022-10-03  3:28           ` Tim Cross
2022-10-03 16:30         ` Eli Zaretskii
2022-10-04  1:02           ` Richard Stallman
2022-10-04  7:00             ` Eli Zaretskii
2022-10-04 17:39               ` Richard Stallman
2022-10-04 18:05                 ` Eli Zaretskii
2022-10-07 22:50                   ` Richard Stallman
2022-10-08  6:42                     ` Eli Zaretskii
2022-10-14  9:45                       ` João Távora
2022-10-03 19:57         ` Rudolf Adamkovič
2022-10-04  1:03           ` Richard Stallman
2022-10-04  1:40             ` Yuri Khan
2022-09-30 10:31 ` Po Lu
2022-09-30 10:52   ` Eglot manual (Was: Renaming eglot -- or at least add an alias?) João Távora
2022-09-30 10:32 ` Renaming eglot -- or at least add an alias? João Távora
2022-09-30 10:46 ` Daniel Martín
2022-09-30 10:50   ` Daniel Martín
2022-09-30 13:19     ` Po Lu
2022-09-30 13:18   ` Po Lu
2022-09-30 13:15 ` Lars Ingebrigtsen
2022-09-30 14:48   ` [External] : " Drew Adams
2022-10-02  7:21 ` Christopher M. Miles
     [not found] ` <m28rlywurw.fsf@numbchild>
2022-10-04  2:08   ` Christopher M. Miles
     [not found]   ` <m28rlwjpx3.fsf@numbchild@gmail.com>
2022-10-04  5:25     ` Akib Azmain Turja
2022-10-04 17:39       ` Richard Stallman
2022-10-04 21:30         ` Tim Cross
2022-10-04 22:06           ` Philip Kaludercic
2022-10-04 22:31             ` Tim Cross
2022-10-05 23:25               ` Dmitry Gutov
2022-10-07 22:47             ` Richard Stallman
2022-10-05  2:59           ` Po Lu
2022-10-05  8:41         ` Simon Leinen
2022-10-05 13:21           ` Gerd Möllmann
2022-10-05 10:09         ` Akib Azmain Turja
2022-10-04  5:25 ` Gerd Möllmann
2022-10-04  7:43   ` Eli Zaretskii
2022-10-04  8:54     ` Gerd Möllmann
2022-10-04  9:57     ` João Távora
2022-10-04 11:15       ` Gerd Möllmann
2022-10-04 15:19   ` [External] : " Drew Adams
2022-10-06 23:29 ` Stefan Kangas
  -- strict thread matches above, loose matches on Subject: below --
2022-09-30  8:54 Payas Relekar
2022-10-04 10:10 xenodasein--- via Emacs development discussions.
2022-10-08  9:33 xenodasein--- via Emacs development discussions.

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87mtadb1a3.fsf@posteo.net \
    --to=philipk@posteo.net \
    --cc=emacs-devel@gnu.org \
    --cc=joaotavora@gmail.com \
    --cc=rms@gnu.org \
    --cc=theophilusx@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).