GNU bug report logs - #18305
lack of central info dir file

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#18305: closed (lack of central info dir file)
Date: Sat, 23 Aug 2014 20:39:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sat, 23 Aug 2014 19:22:08 +0200
with message-id <87y4ufxgsf.fsf <at> gnu.org>
and subject line Re: bug#18305: lack of central info dir file
has caused the debbugs.gnu.org bug report #18305,
regarding lack of central info dir file
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
18305: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18305
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Brandon Invergo <brandon <at> gnu.org>
To: bug-guix <at> gnu.org
Subject: lack of central info dir file
Date: Wed, 20 Aug 2014 22:20:43 +0100

[Message part 3 (text/plain, inline)]

I've just successfully installed the Guix system on a spare computer
(yay!).  I'll send some bug reports as they roll in.  First up...

$HOME/.guix-profile/share/info/dir always points to the dir file of the
most recently installed package.  Instead, normally a dir file exists
independently of any package, and each package's entry is installed in
it via install-info.  So, now, for example, in info I only see Emacs'
entries but not Recutils, Coreutils or any of the other packages I've
installed.

Is it possible to remove or block the symlinking of each package's dir
in favor of installing to a user-local dir file in the profile?  Or
would this interfere with the no-side-effects nature of Guix?

-brandon


-- 
Brandon Invergo
http://brandon.invergo.net

[Message part 4 (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: Brandon Invergo <brandon <at> gnu.org>
Cc: 18305-done <at> debbugs.gnu.org
Subject: Re: bug#18305: lack of central info dir file
Date: Sat, 23 Aug 2014 19:22:08 +0200

This is now fixed.  Feedback welcome!

Specifically, ‘profile-derivation’ has support to build the profile’s
‘dir’ file by running ‘install-info’.

For the record, I initially wanted to come up with a more generic design
for things that need to be done at profile build time.  I haven’t come
up with such a design, but Info was going to be the main consumer
anyway, so I’m happy with the simpler approach.

Thanks,
Ludo’.

Previous Next

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