GNU bug report logs - #17840
[PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.

Previous Next

Full log

View this message in rfc822 format

From: Peter Rosin <peda <at> lysator.liu.se>
To: Ralf Corsepius <rc040203 <at> freenet.de>, 17840 <at> debbugs.gnu.org
Subject: bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems.
Date: Tue, 24 Jun 2014 22:35:24 +0200

On 2014-06-24 18:08, Ralf Corsepius wrote:
> On 06/24/2014 04:37 PM, Ludovic Courtès wrote:
>> Bob Friesenhahn <bfriesen <at> simple.dallas.tx.us> 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.

Cheers,
Peter

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.