Re: [PATCH] doc: Mention "guix pull" during installation.

[Ludovic Courtès]

Hello!

Leo Famulari <address@hidden> skribis:

> I've recently gave an explanation of why I think using `guix pull`
> before installing GuixSD should not be recommended unconditionally:
>
> http://lists.gnu.org/archive/html/bug-guix/2016-11/msg00047.html
>
> In the specific case of installing GuixSD 0.11.0 today, `guix pull` is
> necessary, because we lack the substitutes, and some packages can't be
> built at all now [1]. But, adding these lines to the manual now won't
> make it show up in the 0.11.0 installer manual.
>
> I think we should work on improving our infrastructure in the next
> release cycle, and revisit this change to the manual if we are still
> having problems before the 0.13.0 release.
>
> What does everyone think?

I agree with everything you wrote here.

Ludo’.