Danny Milosavljevic
958a1fda9e
system: Make grub use <menu-entry> instead of <boot-parameters> again.
* gnu/system/grub.scm: Remove boot-parameters->menu-entry.
(grub-configuration): Don't use boot-parameters->menu-entry.
* gnu/system.scm (operating-system-bootcfg): Use menu-entry.
* guix/scripts/system.scm (reinstall-grub): Use profile-grub-entries.
(perform-action): Use profile-grub-entries.
2017-04-15 22:02:38 +02:00
..
2017-04-12 11:42:52 -04:00
2017-03-21 22:33:07 +01:00
2017-04-15 22:02:38 +02:00
2017-03-12 17:47:25 +01:00
2017-02-03 00:23:28 +01:00
2017-03-21 22:33:07 +01:00
2016-07-12 22:47:08 +02:00
2017-01-24 23:09:10 +01:00
2015-05-08 16:35:32 +02:00
2016-11-06 19:56:43 +01:00
2017-02-01 12:36:41 +01:00
2017-04-15 14:42:15 +02:00