[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: |
Ludovic Courtès |
Subject: |
bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file' on GNU systems. |
Date: |
Tue, 24 Jun 2014 21:34:06 +0200 |
User-agent: |
Gnus/5.130009 (Ma Gnus v0.9) Emacs/24.3 (gnu/linux) |
Bob Friesenhahn <address@hidden> skribis:
> On Tue, 24 Jun 2014, Ludovic Courtès wrote:
>>
>>> The reason for the hard-coded path is because there are a number of
>>> different 'file' programs and libtool expects particular output from
>>> the 'file' program that it uses. If the 'file' encountered via PATH
>>> is not the same as the common one available as ‘/usr/bin/file’ on GNU
>>> systems, then there would be a problem.
>>
>> Well, the systems I was referring to are GNU systems too. ;-)
>>
>> Do you remember what other ‘file’ programs could interfere? Debian has
>> only one ‘file’ program, for instance:
>> <https://packages.debian.org/search?searchon=contents&keywords=file&mode=exactfilename&suite=stable&arch=any>.
>
> This is the web page for the most popular and common 'file'
> command. It is not a GNU program:
>
> http://darwinsys.com/file/
Right. I was asking about hypothetical unrelated ‘file’ commands that
would justify hard-coding /usr/bin/file.
Do we know of any?
Otherwise it’s no different from cat, touch, grep, etc.
Ludo’.