From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Cannot boot GuixSD after system reconfigure Date: Mon, 25 Sep 2017 09:33:17 +0200 Message-ID: <87fubbmdvm.fsf@gnu.org> References: <87bmm3kh47.fsf@gnu.org> <87fubf4s77.fsf@gnu.org> <87vakbmvgb.fsf@gnu.org> <87a81msud8.fsf@gnu.org> <20170922162339.65cf2b79@scratchpost.org> <87lgl6ptws.fsf@gnu.org> <87tvzuqzmk.fsf@gnu.org> 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]:36424) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dwNtU-0006Sk-PR for help-guix@gnu.org; Mon, 25 Sep 2017 03:33:37 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dwNtT-0001u0-Ns for help-guix@gnu.org; Mon, 25 Sep 2017 03:33:32 -0400 In-Reply-To: <87tvzuqzmk.fsf@gnu.org> (Roel Janssen's message of "Fri, 22 Sep 2017 21:53:07 +0200") List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Roel Janssen Cc: 28445@debbugs.gnu.org, Danny Milosavljevic , help-guix Hi Roel, Roel Janssen skribis: > I could generate a new system, but upon booting it, I was dropped to a > Guile REPL. Could you check what the error was? (You can type =E2=80=9C,error=E2=80=9D= at the REPL if the message disappeared.) > So it doesn't seem to work. How can I troubleshoot from there? > > I used the following configuration for the EFI partition: > > (file-system > (title 'uuid) > (device (uuid "72E5-26A0" 'fat32)) > (mount-point "/boot/efi") > (needed-for-boot? #t) > (type "vfat")) I don=E2=80=99t see yet what could possibly go wrong. Note that =E2=80=98needed-for-boot?=E2=80=99 can be #f (it=E2=80=99s definitely not n= eeded for boot), but both should work. Thanks, Ludo=E2=80=99.