On 2009-08-25 23:45 +0200, Julian Gilbey wrote:

> On Tue, Aug 25, 2009 at 10:49:40PM +0200, Sven Joachim wrote:
>
>> > $ ls -l /usr/share/info/dir*
>> > -rw-r--r-- 1 root root  9616 2009-08-24 11:23 /usr/share/info/dir.gz
>> > -rw-r--r-- 1 root root 29212 2009-08-24 11:23 /usr/share/info/dir.old
>> > -rw-r--r-- 1 root root  1355 2009-07-02 22:53 /usr/share/info/dir.old.gz
>> 
>> This is your problem, why is the dir file compressed?  It is not here:
>
> I don't know.  I certainly didn't compress it.

Some broken package may have shipped it, please use
"dpkg -S /usr/share/info/dir.gz" to find out.

Sven



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to