Chris Marusich 3382bfe9ea system: Avoid using device paths in <menu-entry> device field. ... This fixes a regression introduced by 1ef8b72a7f, 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>		2016-11-06 18:08:46 +01:00
..
build	gnu: build: file-system: Change url of LUKS specification.	2016-11-06 14:35:36 +02:00
packages	gnu: nmap: Update to 7.31.	2016-11-06 16:17:29 +00:00
services	services: nginx: Virtual hosts are first-class configuration items.	2016-10-24 22:50:40 +02:00
system	system: Record store file system info in each generation.	2016-10-30 22:59:46 +01:00
tests	tests: Test installation with a RAID root partition.	2016-10-27 13:48:52 +02:00
artwork.scm
local.mk	gnu: lua: Update to 5.3.3.	2016-11-06 16:17:16 +00:00
packages.scm
services.scm
system.scm	system: Avoid using device paths in <menu-entry> device field.	2016-11-06 18:08:46 +01:00
tests.scm