[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU

From: Peter Rosin
Subject: bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.
Date: Tue, 24 Jun 2014 22:35:24 +0200
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0

On 2014-06-24 18:08, Ralf Corsepius wrote:
> On 06/24/2014 04:37 PM, Ludovic Courtès wrote:
>> Bob Friesenhahn <address@hidden> skribis:
>>> On Mon, 23 Jun 2014, Ludovic Courtès wrote:
>>>> Hello,
>>>> The patch below changes occurrences of ‘/usr/bin/file’ to just ‘file’.
>>>> The impetus is that on systems using GNU Guix, NixOS, GoboLinux, and
>>>> others, the ‘file’ command is not available as /usr/bin/file, so it must
>>>> instead be taken from $PATH.
>>>> (I conservatively left ‘/usr/bin/file’ for more centralized systems such
>>>> as BSD, IRIX, etc. where it’s more likely to be a valid command.)
>>> Were you able to re-test on all of the impacted platforms?
>> No, but that list is verrry long.
> Makes me wonder, why this issue has not come up before and what your issue 
> actually is.

I suspect this has something to do with merging /usr/bin and /bin coupled
with some purist attempt to get rid of the compatibility symlink from one
to the other.

But that's just a guess.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]