[debbugs-tracker] bug#19220: closed (GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate partition)

[GNU bug Tracking System]

Your message dated Sat, 13 Dec 2014 22:53:35 +0100
with message-id <address@hidden>
and subject line Re: bug#19220: GRUB fails to find the ‘bzImage’ file when 
‘/boot’ is on a separate partition
has caused the debbugs.gnu.org bug report #19220,
regarding GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate 
partition
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
19220: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19220
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate partition Date: Sun, 30 Nov 2014 00:34:26 +0400

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

pgppZRswLuCvu.pgp
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux)
>
>
>
>
> Committed as 6c777cf, thanks for testing!
>
> Ludo’.
>
>
> --- End Message ---