On Mon, 27 May 2002, Santiago Vila wrote: > Apparently you lost your /usr/info/dir file. If /usr/info/dir.old > exists you can do "cp /usr/info/dir.old /usr/info/dir". If not, I would > "cp /usr/share/base-files/info.dir /usr/info/dir", but you might want to > reconfigure packages having info docs to populate the dir file again. > Use a backup if you have it. > > Note to dpkg maintainers: Perhaps the wording is confusing. > What about this?: > > install-info: failed to lock `dir' for editing > > or maybe this?: > > install-info: failed to lock `/usr/info/dir' for editing > > (The meaning of this message is a FAQ in debian-user-spanish too. > Some people even think "dir" stands for "directory").
This is already fixed in cvs. Plus, if /usr/share/info/dir doesn't exist, the one from /var/backups is copied. install-info now copies the old file to there, in addition to having dir.old lie around. Of course, the one in head is broken atm, due to a bad merge from 1.9. I've got the fix, but haven't checked it in yet. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
