GNU bug report logs - #19220
GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate partition

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 19220 in the body.
You can then email your comments to 19220 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

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

From: Nikita Karetnikov <nikita <at> karetnikov.org>
To: bug-guix <at> gnu.org
Subject: GRUB fails to find the ‘bzImage’ file when
 ‘/boot’ is on a separate partition
Date: Sun, 30 Nov 2014 00:34:26 +0400

[Message part 1 (text/plain, inline)]

Adding ‘set root=(hd0,gpt3)’ (which should match your ‘/’ partition)
before the ‘search.file’ line in the GRUB config fixes the issue.

[Message part 2 (application/pgp-signature, inline)]

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Nikita Karetnikov <nikita <at> karetnikov.org>
Cc: 19220 <at> debbugs.gnu.org
Subject: Re: bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate
 partition
Date: Sun, 30 Nov 2014 23:04:28 +0100

[Message part 1 (text/plain, inline)]

Could you please try the attached patch:

[Message part 2 (text/x-patch, inline)]

diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 00e09f9..5d0f4f1 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -209,11 +209,12 @@ entries corresponding to old generations of the system."
     (match-lambda
      (($ <menu-entry> label linux arguments initrd)
       #~(format port "menuentry ~s {
+  search --file --set ~a/bzImage~%
   linux ~a/bzImage ~a
   initrd ~a
 }~%"
                 #$label
-                #$linux (string-join (list #$@arguments))
+                #$linux #$linux (string-join (list #$@arguments))
                 #$initrd))))
 
   (mlet %store-monad ((sugar (eye-candy config #~port)))
@@ -223,14 +224,9 @@ entries corresponding to old generations of the system."
             #$sugar
             (format port "
 set default=~a
-set timeout=~a
-search.file ~a/bzImage~%"
+set timeout=~a~%"
                     #$(grub-configuration-default-entry config)
-                    #$(grub-configuration-timeout config)
-                    #$(any (match-lambda
-                            (($ <menu-entry> _ linux)
-                             linux))
-                           all-entries))
+                    #$(grub-configuration-timeout config))
             #$@(map entry->gexp all-entries)
 
             #$@(if (pair? old-entries)

[Message part 3 (text/plain, inline)]

From the system, run:

  ./pre-inst-env guix system reconfigure config.scm

and then reboot.

I believe this fixes the problem.

Thanks,
Ludo’.

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

From: Nikita Karetnikov <nikita <at> karetnikov.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 19220 <at> debbugs.gnu.org
Subject: Re: bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate
 partition
Date: Sun, 07 Dec 2014 07:45:28 +0400

[Message part 1 (text/plain, inline)]

> I believe this fixes the problem.

Unfortunately, it makes things worse.  Now GRUB doesn’t even bother to
show the menu; I get straight into the GRUB shell.

[Message part 2 (application/pgp-signature, inline)]

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Nikita Karetnikov <nikita <at> karetnikov.org>
Cc: 19220 <at> debbugs.gnu.org
Subject: Re: bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate
 partition
Date: Tue, 09 Dec 2014 11:09:20 +0100

Nikita Karetnikov <nikita <at> karetnikov.org> skribis:

>> I believe this fixes the problem.
>
> Unfortunately, it makes things worse.  Now GRUB doesn’t even bother to
> show the menu; I get straight into the GRUB shell.

I realized that commit 39d1f82, which fixed another bug, introduced a
regression causing this: it made /boot/grub/grub.cfg a symlink to the
store, which does not work when /boot is a separate partition.

Commit 6412e58 fixes that.

Could you retry with Guix master after 6412e58, and with the patch I
gave earlier in this thread?

Thanks in advance,
Ludo’.

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

From: Nikita Karetnikov <nikita <at> karetnikov.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 19220 <at> debbugs.gnu.org
Subject: Re: bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate
 partition
Date: Sat, 13 Dec 2014 20:25:00 +0400

[Message part 1 (text/plain, inline)]

> Could you retry with Guix master after 6412e58, and with the patch I
> gave earlier in this thread?

It works.

[Message part 2 (application/pgp-signature, inline)]

Message #22 received at 19220-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Nikita Karetnikov <nikita <at> karetnikov.org>
Cc: 19220-done <at> debbugs.gnu.org
Subject: Re: bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate
 partition
Date: Sat, 13 Dec 2014 22:53:35 +0100

Committed as 6c777cf, thanks for testing!

Ludo’.

Previous Next

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