From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Subject: bug#38226: guix pull: error: build failed: [...] ice-9/boot-9.scm:109:20: Syntax error: Date: Mon, 18 Nov 2019 21:19:15 +0100 Message-ID: <87lfsdgcos.fsf@gnu.org> References: <20191116032658.42f4533d.kmx@posteo.net> <87eey6jjds.fsf@gnu.org> <20191118121535.256353ae.kmx@posteo.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:55418) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iWnVD-0000p3-Hj for bug-guix@gnu.org; Mon, 18 Nov 2019 15:20:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iWnVC-0002qe-JO for bug-guix@gnu.org; Mon, 18 Nov 2019 15:20:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37476) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iWnVB-0002qS-SA for bug-guix@gnu.org; Mon, 18 Nov 2019 15:20:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iWnVB-000309-KE for bug-guix@gnu.org; Mon, 18 Nov 2019 15:20:01 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20191118121535.256353ae.kmx@posteo.net> (Kai Mertens's message of "Mon, 18 Nov 2019 12:15:35 +0100") 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: Kai Mertens Cc: 38226@debbugs.gnu.org Hello, Kai Mertens skribis: > hmm, I am on i686 =E2=80=93 is the trick still applicable? Sure, you can try the command I gave with "/gnu/store/ly0x0dk2qm0jk3fgwsrnl5cy8a1ybwkk-guix-900ef20b1.drv" for instance. > I will switch to root=E2=80=99s profile with =E2=80=9Csudo -i=E2=80=9D, b= ut that is ok, right? Yes, you can do that. =E2=80=9Csudo -i guix pull=E2=80=9D means you=E2=80= =99ll be updating root=E2=80=99s Guix. You=E2=80=99ll probably want to update your user=E2= =80=99s Guix as well, with just =E2=80=9Cguix pull=E2=80=9D. > I guess I cannot use a simple =E2=80=9Csudo -i guix package -u guix=E2=80= =9D as a > workaround for the failing =E2=80=9Csudo -i guix pull=E2=80=9D, as it wou= ld bring up > the same issue? Right, you have to get yourself a newer Guix first. :-) HTH! Ludo=E2=80=99.