On Tue, Apr 07, 2015 at 06:16:12PM -0700, Edward Z. Yang wrote:
> Hello Eric,
>
> I dug around for why I filed for the change in behavior.
> Here is the bug report that prompted it:
>
> https://coq.inria.fr/bugs/show_bug.cgi?id=2726
>
> ctags -e is not a perfect replacement for etags; in thi
Hello Eric,
I dug around for why I filed for the change in behavior.
Here is the bug report that prompted it:
https://coq.inria.fr/bugs/show_bug.cgi?id=2726
ctags -e is not a perfect replacement for etags; in this
example, 'make tags' calls out to etags and expects the Emacs
version.
etags
On Tue, Apr 07, 2015 at 06:58:23PM -0400, Eric Cooper wrote:
> After installing exuberant-ctags:
>
> $ sudo update-alternatives --config ctags
> There are 2 choices for the alternative ctags (providing /usr/bin/ctags).
>
> SelectionPath Priority Status
> ---
Package: exuberant-ctags
Version: 1:5.9~svn20110310-8
Severity: normal
After installing exuberant-ctags:
$ sudo update-alternatives --config ctags
There are 2 choices for the alternative ctags (providing /usr/bin/ctags).
SelectionPath Priority Status
--
4 matches
Mail list logo