On Tue, Oct 24, 2000 at 11:46:02PM +0200, Marco Kuhlmann wrote:
> install-info breaks with an error
> failed to lock dir for editing
> I understand that install-info looks for a file $infodir/dir,
> where $infodir is /usr/info -- but cannot find one, because
> there is just dir.gz on my system.
That's a bug. File it, severity important, against the package that caused
it (dpkg -S /usr/info/dir.gz will tell you).
> 1. Where should the dir file be located: /usr/info or
> /usr/share/info. And if the latter: why has install-info
It's /usr/info/dir, for compatibility.
> 2. Should the dir file be gzipped, or shouldn't it? And if
> it should be gzipped, how do I make install-info to know
> about it?
> 3. To solve my problem: What should I do for installing the
> info file? If I use dh_installinfo, things crash. Should
> I write my own wrapper for install-info?
No, not at all. The bug should be fixed and everything should be running
Digital Electronic Being Intended for Assassination and Nullification