GNU bug report logs - #28445
match-error in 'device-sexp->device' while building system

Previous Next

Full log

Message #53 received at 28445 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Roel Janssen <roel <at> gnu.org>
Cc: 28445 <at> debbugs.gnu.org, Danny Milosavljevic <dannym <at> scratchpost.org>,
 help-guix <help-guix <at> gnu.org>
Subject: Re: Cannot boot GuixSD after system reconfigure
Date: Mon, 25 Sep 2017 09:33:17 +0200

Hi Roel,

Roel Janssen <roel <at> 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 “,error” 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’t see yet what could possibly go wrong.  Note that
‘needed-for-boot?’ can be #f (it’s definitely not needed for boot), but
both should work.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.