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 /doc | |
parent | f4dc22bcd95eaebb026457c0a36396517be64130 (diff) | |
download | guix-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 'doc')
0 files changed, 0 insertions, 0 deletions