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 > $installdir='/usr/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? See above... > 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 smoothly afterwards. -- Digital Electronic Being Intended for Assassination and Nullification
