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

Previous Next

Package: libtool;

Reported by: ludo <at> gnu.org (Ludovic Courtès)

Date: Mon, 23 Jun 2014 19:44:02 UTC

Severity: normal

Tags: patch

Done: Mike Frysinger <vapier <at> gentoo.org>

Bug is archived. No further changes may be made.

Full log


Message #29 received at submit <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Bob Friesenhahn <bfriesen <at> simple.dallas.tx.us>
Cc: Mark H Weaver <mhw <at> netris.org>, bug-libtool <at> gnu.org, 17840 <at> debbugs.gnu.org
Subject: Re: bug#17840: [PATCH] libtool: Use 'file' instead of '/usr/bin/file'
 on GNU systems.
Date: Tue, 24 Jun 2014 21:34:06 +0200
Bob Friesenhahn <bfriesen <at> simple.dallas.tx.us> 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’.




This bug report was last modified 1 year and 134 days ago.

Previous Next


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