diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 22:02:38 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 22:02:38 +0200 |
commit | 958a1fda9e0ad41468cbdb88766e7c854dd32df4 (patch) | |
tree | 2e74aa2e9c58827dabed7d6b14ba58158cb99f6f /gnu/packages | |
parent | 2f36d90f2d24738bda8dc522645ad8f50bd62207 (diff) | |
download | patches-958a1fda9e0ad41468cbdb88766e7c854dd32df4.tar patches-958a1fda9e0ad41468cbdb88766e7c854dd32df4.tar.gz |
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.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions