From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#28445: Cannot boot GuixSD after system reconfigure
Date: Mon, 25 Sep 2017 09:33:17 +0200
Message-ID: <87fubbmdvm.fsf__27648.8885785968$1506324945$gmane$org@gnu.org>
References: <rbuo9q4cken.fsf@gnu.org> <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: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:36642)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dwNty-0006n6-U2
	for bug-guix@gnu.org; Mon, 25 Sep 2017 03:34:03 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dwNty-0002C1-5M
	for bug-guix@gnu.org; Mon, 25 Sep 2017 03:34:02 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:48492)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1dwNty-0002Bu-2a
	for bug-guix@gnu.org; Mon, 25 Sep 2017 03:34:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dwNtx-0006VC-QB
	for bug-guix@gnu.org; Mon, 25 Sep 2017 03:34:01 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.28445.B28445.150632481324960@debbugs.gnu.org>
In-Reply-To: <87tvzuqzmk.fsf@gnu.org> (Roel Janssen's message of "Fri, 22 Sep
	2017 21:53:07 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Roel Janssen <roel@gnu.org>
Cc: 28445@debbugs.gnu.org, help-guix <help-guix@gnu.org>

Hi Roel,

Roel Janssen <roel@gnu.org> 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.