From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#23877: [Guix Info][7.1.4] Should remind user to do "guix pull" Date: Sun, 03 Jul 2016 00:00:37 +0200 Message-ID: <8737nrg0oq.fsf@gnu.org> References: <1037661467351234@web1j.yandex.ru> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52969) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJSyH-0003jM-9n for bug-guix@gnu.org; Sat, 02 Jul 2016 18:01:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bJSyE-00049r-6T for bug-guix@gnu.org; Sat, 02 Jul 2016 18:01:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:50802) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bJSyE-00049l-43 for bug-guix@gnu.org; Sat, 02 Jul 2016 18:01:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bJSyD-0004jc-R2 for bug-guix@gnu.org; Sat, 02 Jul 2016 18:01:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <1037661467351234@web1j.yandex.ru> (eus@member.fsf.org's message of "Fri, 01 Jul 2016 12:33:54 +0700") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Eus Cc: 23877@debbugs.gnu.org Hello! Eus skribis: > Hi guys! (And gals, etc.) > I did that and my machine started to build sources. Then, I hit some erro= r when building webkitgtk-2.12.0 and went to the Guix IRC channel. There tw= o 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=E2=80=99t recommend running =E2=80=9Cguix pull=E2=80=9D from the i= nstallation 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=E2=80=99t 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=E2=80=99.