bug#33993: Missing Texinfo documentation for Guix itself

bug#33993: Missing Texinfo documentation for Guix itself

[Adonay Felipe Nogueira]

[-- Attachment #1.1: Type: text/plain, Size: 3100 bytes --]

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/


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 213 bytes --]

bug#33993: Missing Texinfo documentation for Guix itself

[Ricardo Wurmus]

Adonay Felipe Nogueira <adfeno@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

bug#33993: Missing Texinfo documentation for Guix itself

[Adonay Felipe Nogueira]

[-- Attachment #1.1.1: Type: text/plain, Size: 1079 bytes --]

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”?


[-- Attachment #1.1.2: ls_-la_--var-guix-profiles-per-user-root-current-guix-share-info-.txt --]
[-- Type: text/plain, Size: 2702 bytes --]

total 84
dr-xr-xr-x 2 root root 4096 Dez 31  1969 .
dr-xr-xr-x 3 root root 4096 Dez 31  1969 ..
lrwxrwxrwx 2 root root   67 Dez 31  1969 dir -> /gnu/store/4b19fn53k8jdqqbqy39rx27z76hydm6k-info-dir/share/info/dir
lrwxrwxrwx 2 root root   70 Dez 31  1969 dir.de -> /gnu/store/4b19fn53k8jdqqbqy39rx27z76hydm6k-info-dir/share/info/dir.de
lrwxrwxrwx 2 root root   70 Dez 31  1969 dir.fr -> /gnu/store/4b19fn53k8jdqqbqy39rx27z76hydm6k-info-dir/share/info/dir.fr
lrwxrwxrwx 3 root root   82 Dez 31  1969 guix.de.info -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.de.info
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.de.info-1 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.de.info-1
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.de.info-2 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.de.info-2
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.de.info-3 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.de.info-3
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.de.info-4 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.de.info-4
lrwxrwxrwx 3 root root   82 Dez 31  1969 guix.fr.info -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.fr.info
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.fr.info-1 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.fr.info-1
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.fr.info-2 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.fr.info-2
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.fr.info-3 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.fr.info-3
lrwxrwxrwx 3 root root   84 Dez 31  1969 guix.fr.info-4 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.fr.info-4
lrwxrwxrwx 3 root root   79 Dez 31  1969 guix.info -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.info
lrwxrwxrwx 3 root root   81 Dez 31  1969 guix.info-1 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.info-1
lrwxrwxrwx 3 root root   81 Dez 31  1969 guix.info-2 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.info-2
lrwxrwxrwx 3 root root   81 Dez 31  1969 guix.info-3 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.info-3
lrwxrwxrwx 3 root root   81 Dez 31  1969 guix.info-4 -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/guix.info-4
lrwxrwxrwx 3 root root   76 Dez 31  1969 images -> /gnu/store/hsxhql4w2611q884mbjcghmrzh7q5693-guix-5a7899fd8/share/info/images

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 213 bytes --]

bug#33993: Missing Texinfo documentation for Guix itself

[Ludovic Courtès]

Hello,

Adonay Felipe Nogueira <adfeno@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’.