[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] system: Avoid using device paths in <menu-entry> device fiel
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] system: Avoid using device paths in <menu-entry> device field. |
|
Date: |
Sun, 06 Nov 2016 17:51:17 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
address@hidden skribis:
> From: Chris Marusich <address@hidden>
>
> This fixes a regression introduced by
> 1ef8b72a7f87afe7cffe52393d99e1b14e4770e1, in which we would incorrectly use a
> device path in a label-based grub root search command, e.g. 'search --label
> --set /dev/sda4'.
>
> * gnu/system.scm (grub-device): New procedure.
> (operating-system-grub.cfg, operating-system-parameters-file): Use it.
> (read-boot-parameters): Handle device paths correctly.
Good catch. Applied, thanks!
And sorry for the delay!
Ludo’.
Fix a boot problem reported by ng0, cmmarusich, 2016/11/03