[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 07:03:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
>>>>> On Tue, 12 Apr 2022, Eli Zaretskii wrote:
>> Date: Mon, 11 Apr 2022 21:53:50 +0200
>> From: Ergus <spacibba@aol.com>
>> Cc: Eli Zaretskii <eliz@gnu.org>, emacs-devel@gnu.org
>>
>> >I still think that any test for an installed binary is a bad idea, from
>> >a distro point of view. Note that distros typically build packages in an
>> >environment that is different from the one of the final target system.
>> >
>> Here I agree
> How else to test whether this is needed? I'm okay with having
> "--without-ctags" with no test, but then the default will have to be
> to install our ctags.
That sounds good.
> With the test, we could refrain from installing it if the test says
> so.
But then the test should be more specific, and check if there would be a
file collision at the actual target location (with the name modified by
--program-transform-name, if applicable). If there's no collision (e.g.
Emacs ctags has a different name) then Emacs should install it.
> I'm also okay with leaving things as they are now, obviously, if this
> change brings more problems than it solves. I don't consider the
> current situation bad enough to necessitate any changes.
Things are like this since more than a decade, and obviously distros can
cope with the status quo.
- Re: [PATCH] Re: etags name collision., (continued)
- 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, 2022/04/12
- 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 <=
- 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, 2022/04/11
- Re: etags name collision., Stefan Monnier, 2022/04/11
- Re: etags name collision., Eli Zaretskii, 2022/04/11