GNU bug report logs - #33993
Missing Texinfo documentation for Guix itself

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33993 in the body.
You can then email your comments to 33993 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Adonay Felipe Nogueira <adfeno <at> hyperbola.info>
To: "bug-guix <at> gnu.org" <bug-guix <at> gnu.org>
Subject: Missing Texinfo documentation for Guix itself
Date: Sun, 6 Jan 2019 00:56:58 -0200

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

This copy of Guix (in Trisquel 8.0 Flidas amd64) was installed using the
shell script installer (for which I became root for that, that is, used
`sudo -i'). The binary version downloaded was 0.16.0.

At least after pulling and upgrading the recipes based on commit
"5a7899fd88c1c463d3b75ac9077ccd183ddec914" (I didn't test this before
pulling, sorry), the Texinfo documentation for Guix itself seems to be
mising, even from root's profile.

Related environment variables present in root's ".profile" file (be
careful when reusing the following lines, as they might be broken where
they shouldn't):

----8<---------------------------------------------------------->8----
export GUIX_PROFILE=~/".guix-profile"
export GUIX_LOCPATH="$GUIX_PROFILE/lib/locale"
export PATH="$GUIX_PROFILE/bin${PATH:+:}$PATH"
export
INFOPATH="/usr/local/share/info/:$GUIX_PROFILE/share/info/${INFOPATH:+:}$INFOPATH:"
# Other variables
source "$GUIX_PROFILE/etc/profile"
----8<---------------------------------------------------------->8----

Now for the ones in my current user's ".profile" file (idem):

----8<---------------------------------------------------------->8----
export GUIX_PROFILE=~/".guix-profile"
export GUIX_LOCPATH="$GUIX_PROFILE/lib/locale"
export PATH="$GUIX_PROFILE/bin:$GUIX_PROFILE/sbin${PATH:+:}$PATH"
export
INFOPATH="/usr/local/share/info/:$GUIX_PROFILE/share/info/${INFOPATH:+:}$INFOPATH:"
# Other variables
source "$GUIX_PROFILE/etc/profile"
----8<---------------------------------------------------------->8----

Interestingly, despite "$GUIX_PROFILE/share/info" not having the Texinfo
documentation as described, "/usr/local/share/info" has at least some
"dir."* files that seem to come from Guix. While "guix"{,"."*}".info.gz"
are present in the form of broken symbolic links, each of which pointing
to their counterparts in
"/var/guix/profiles/per-user/root/current-guix/share/info".

-- 
- Página com formas de contato:
  https://libreplanet.org/wiki/User:Adfeno#vCard
- Ativista do software livre (não confundir com o gratuito). Avaliador
  da liberdade de software e de sites.
- Página com lista de contribuições:
  https://libreplanet.org/wiki/User:Adfeno#Contribs
- Para uso em escritórios e trabalhos, favor enviar arquivos do padrão
  internacional OpenDocument/ODF 1.2 (ISO/IEC 26300-1:2015 e
  correlatos). São os .odt/.ods/.odp/odg. O LibreOffice é a suíte de
  escritório recomendada para editar tais arquivos.
- Para outros formatos de arquivos, veja:
  https://libreplanet.org/wiki/User:Adfeno#Arquivos
- Gosta do meu trabalho? Contrate-me ou doe algo para mim!
  https://libreplanet.org/wiki/User:Adfeno#Suporte
- Use comunicações sociais federadas padronizadas, onde o "social"
  permanece independente do fornecedor. #DeleteWhatsApp. Use #XMPP
  (https://libreplanet.org/wiki/XMPP.pt), #DeleteFacebook
  #DeleteInstagram #DeleteTwitter #DeleteYouTube. Use #ActivityPub via
  #Mastodon (https://joinmastodon.org/).
- #DeleteNetflix #CancelNetflix. Evite #DRM:
  https://www.defectivebydesign.org/

[signature.asc (application/pgp-signature, attachment)]

Message #8 received at 33993 <at> debbugs.gnu.org (full text, mbox):

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Adonay Felipe Nogueira <adfeno <at> hyperbola.info>
Cc: 33993 <at> debbugs.gnu.org
Subject: Re: bug#33993: Missing Texinfo documentation for Guix itself
Date: Sun, 06 Jan 2019 10:10:31 +0100

Adonay Felipe Nogueira <adfeno <at> hyperbola.info> writes:

> This copy of Guix (in Trisquel 8.0 Flidas amd64) was installed using the
> shell script installer (for which I became root for that, that is, used
> `sudo -i'). The binary version downloaded was 0.16.0.
>
> At least after pulling and upgrading the recipes based on commit
> "5a7899fd88c1c463d3b75ac9077ccd183ddec914" (I didn't test this before
> pulling, sorry), the Texinfo documentation for Guix itself seems to be
> mising, even from root's profile.

The installer script creates links from
/var/guix/profiles/per-user/root/current-guix/share/info to
/usr/local/share/info.  Is the former directory populated as you would
expect?

> Interestingly, despite "$GUIX_PROFILE/share/info" not having the Texinfo
> documentation as described, "/usr/local/share/info" has at least some
> "dir."* files that seem to come from Guix. While "guix"{,"."*}".info.gz"
> are present in the form of broken symbolic links, each of which pointing
> to their counterparts in
> "/var/guix/profiles/per-user/root/current-guix/share/info".

This is odd.  Do the files exist in
/var/guix/profiles/per-user/root/current-guix/share/info?  Can you
please show us the output of “ls -la /usr/local/share/info” and “ls -la
/var/guix/profiles/per-user/root/current-guix/share/info”?

--
Ricardo

Message #11 received at 33993 <at> debbugs.gnu.org (full text, mbox):

From: Adonay Felipe Nogueira <adfeno <at> hyperbola.info>
To: 33993 <at> debbugs.gnu.org
Subject: Re: bug#33993: Missing Texinfo documentation for Guix itself
Date: Sun, 6 Jan 2019 15:35:15 -0200

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

Note: Replying only to the list as it makes it easy for others and their
email clients to filter/split this message according to List-id header
field.

Em 06/01/2019 07:10, Ricardo Wurmus escreveu:
> The installer script creates links from
> /var/guix/profiles/per-user/root/current-guix/share/info to
> /usr/local/share/info.  Is the former directory populated as you would
> expect?

As I said, "/usr/local/share/info" has the symbolic links. Additionally,
now that you mention it, searching for
"/var/guix/profiles/per-user/root/current-guix/share/info/guix"{,".*"}".info"*
returns the Texinfo files, but not in .GZ format.

That said, they do exist and are readable there. I'll get a foreign
distribution image to test using QEMU and observe the behavior from
there when my other tasks allow me to.

> This is odd.  Do the files exist in
> /var/guix/profiles/per-user/root/current-guix/share/info?  Can you
> please show us the output of “ls -la /usr/local/share/info” and “ls -la
> /var/guix/profiles/per-user/root/current-guix/share/info”?

[ls_-la_--var-guix-profiles-per-user-root-current-guix-share-info-.txt (text/plain, attachment)]

[signature.asc (application/pgp-signature, attachment)]

Message #16 received at 33993-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Adonay Felipe Nogueira <adfeno <at> hyperbola.info>
Cc: 33993-done <at> debbugs.gnu.org
Subject: Re: bug#33993: Missing Texinfo documentation for Guix itself
Date: Tue, 08 Jan 2019 18:41:25 +0100

Hello,

Adonay Felipe Nogueira <adfeno <at> hyperbola.info> skribis:

> Interestingly, despite "$GUIX_PROFILE/share/info" not having the Texinfo
> documentation as described, "/usr/local/share/info" has at least some
> "dir."* files that seem to come from Guix. While "guix"{,"."*}".info.gz"
> are present in the form of broken symbolic links, each of which pointing
> to their counterparts in
> "/var/guix/profiles/per-user/root/current-guix/share/info".

I believe 08fdee39110a51cd76afac7a9adf10c794a4c272 fixes it by
compressing the Info files are the symlink expect.

Let me know if anything is amiss!

Thanks,
Ludo’.

Previous Next

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