[Guix Info][7.1.4] Should remind user to do "guix pull"

  • Done
  • quality assurance status badge
Details
2 participants
  • Eus
  • Ludovic Courtès
Owner
unassigned
Submitted by
Eus
Severity
normal
E
(address . bug-guix@gnu.org)
1037661467351234@web1j.yandex.ru
Hi guys!

I downloaded Guix for USB disk from the Guix download page.

Then, when I did "guix system init /mnt/etc/config.scm /mnt" following the Guix info available at Alt+F2, I got an error suggesting me to use "--fallback" option.

I did that and my machine started to build sources. Then, I hit some error when building webkitgtk-2.12.0 and went to the Guix IRC channel. There two users told me that I should do "guix pull" first so that I do not have to build from source.

So, I think it is best to mention about "guix pull" in the Guix info page section 7.1.4.

BTW, I am capable of making patches. So, if you'd like me to make a patch, just tell me the source tree to make a diff against.

--
Best regards,
Eus (FSF member #4445)

In this digital era, where computing technology is pervasive, your freedom depends on the software controlling those computing devices.

Join free software movement today! It is free as in freedom, not as in free beer!

L
L
Ludovic Courtès wrote on 3 Jul 2016 00:00
(name . Eus)(address . eus@member.fsf.org)(address . 23877@debbugs.gnu.org)
8737nrg0oq.fsf@gnu.org
Hello!

Eus <eus@member.fsf.org> skribis:

Toggle quote (2 lines)
> Hi guys!

(And gals, etc.)

Toggle quote (4 lines)
> I did that and my machine started to build sources. Then, I hit some error when building webkitgtk-2.12.0 and went to the Guix IRC channel. There two users told me that I should do "guix pull" first so that I do not have to build from source.
>
> So, I think it is best to mention about "guix pull" in the Guix info page section 7.1.4.

I wouldn’t recommend running “guix pull” from the installation image.
We arrange to keep binaries that correspond to releases on our servers,
but apparently we failed here, at least for some of the 0.10.0
binaries.

Had they been available, you wouldn’t have had to build WebKitGTK on
your machine (which is arguably a terrrible user experience for a first
install!).

The fix here is for us to make sure binaries are retained long enough.

Thanks for your report!

Ludo’.
L
L
Ludovic Courtès wrote on 3 Jul 2016 00:01
control message for bug #23877
(address . control@debbugs.gnu.org)
871t3bg0ng.fsf@gnu.org
tags 23877 wontfix
close 23877
?