[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
tomas |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Sat, 8 Oct 2022 09:20:51 +0200 |
On Sat, Oct 08, 2022 at 09:52:27AM +0300, Eli Zaretskii wrote:
> > Date: Sat, 8 Oct 2022 07:32:06 +0200
> > From: <tomas@tuxteam.de>
> >
> > What Microsoft is doing here (and succeeding at a horrifying speed)
> > is building a "social network" for programming, to feed on hacker's
> > behavioral surplus [1].
[...]
> How is this related to the issue at hand?
Just an appeal to think before copying a pattern which may as well
turn out to be an anti-pattern.
Ignore if not interested :)
Cheers
--
t
signature.asc
Description: PGP signature
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Emanuel Berg, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, tomas, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?,
tomas <=
- RE: [External] : Re: Renaming eglot -- or at least add an alias?, Drew Adams, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09