diff options
| author | Chris Marusich <cmmarusich@gmail.com> | 2016-11-03 06:10:28 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-06 18:08:46 +0100 |
| commit | 3382bfe9ea199086134d90e45e3d759aefed3dcf (patch) | |
| tree | 95822c44e7758df273c12b6571583b876f146124 /TODO | |
| parent | f4dc22bcd95eaebb026457c0a36396517be64130 (diff) | |
| download | patches-3382bfe9ea199086134d90e45e3d759aefed3dcf.tar patches-3382bfe9ea199086134d90e45e3d759aefed3dcf.tar.gz | |
system: Avoid using device paths in <menu-entry> device field.
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.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions