[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Re: etags name collision.
From: |
Ulrich Mueller |
Subject: |
Re: [PATCH] Re: etags name collision. |
Date: |
Tue, 12 Apr 2022 09:34:25 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
>>>>> On Tue, 12 Apr 2022, Alfred M Szmidt wrote:
> On some systems /usr/bin/ctags is always GNU Emacs ctags (e.g., Gentoo
> GNU/Linux); not Exuberant Ctags which is installed as exuberant-ctags.
The last part is correct. However, the ctags flavour can be configured:
# ls -l /usr/bin/ctags
lrwxrwxrwx 1 root root 14 Apr 5 09:31 /usr/bin/ctags -> ctags-emacs-28
# eselect ctags list
Available ctags symlink targets:
[1] ctags-emacs-28 *
[2] exuberant-ctags
# eselect ctags set 2
Switching ctags to exuberant-ctags ...
# ls -l /usr/bin/ctags
lrwxrwxrwx 1 root root 15 Apr 12 09:32 /usr/bin/ctags -> exuberant-ctags
- [PATCH] Re: etags name collision., (continued)
- [PATCH] Re: etags name collision., Ergus, 2022/04/11
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/11
- Re: [PATCH] Re: etags name collision., Eli Zaretskii, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ulrich Mueller, 2022/04/11
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/11
- Re: [PATCH] Re: etags name collision., Alfred M. Szmidt, 2022/04/12
- Re: [PATCH] Re: etags name collision.,
Ulrich Mueller <=
- Re: [PATCH] Re: etags name collision., Ergus, 2022/04/12
- 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