[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: etags name collision.
From: |
Eli Zaretskii |
Subject: |
Re: etags name collision. |
Date: |
Mon, 11 Apr 2022 20:01:43 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Ergus <spacibba@aol.com>, emacs-devel@gnu.org
> Date: Mon, 11 Apr 2022 12:46:03 -0400
>
> Eli Zaretskii [2022-04-11 17:09:53] wrote:
> > I'm opposed to dropping stuff just because we can. If you want to add
> > an option not to install ctags if another version is installed
> > (similarly to what we do with movemail), that's fine. But please
> > don't argue for dropping parts of Emacs unconditionally because you
> > personally find it not useful, that argument will never fly with me.
>
> Maybe we should install it under a different name, to avoid
> the conflict but without losing the functionality?
No, that would be confusing and will break those who do still use our
ctags.
I think detecting that another kind of ctags is installed is the best
and safest way to have the cake and eat it, too.
- Re: [PATCH] Re: etags name collision., (continued)
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: [PATCH] Re: etags name collision., Po Lu, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/12
- Re: [PATCH] Re: etags name collision., Alfred M. Szmidt, 2022/04/12
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/12
- Re: etags name collision., Stefan Monnier, 2022/04/11
- Re: etags name collision.,
Eli Zaretskii <=
- Re: etags name collision., Stefan Monnier, 2022/04/11
- Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: etags name collision., Ulrich Mueller, 2022/04/11
- Re: etags name collision., Thierry Volpiatto, 2022/04/12
- Re: etags name collision., Ergus, 2022/04/11
- Re: etags name collision., Ergus, 2022/04/11
Re: etags name collision., Andreas Schwab, 2022/04/11
Re: etags name collision., Kaushal Modi, 2022/04/11
Re: etags name collision., Richard Stallman, 2022/04/11