diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-21 14:37:13 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-05-05 15:03:48 +0200 |
| commit | bf8b09169c7d8ae48ac99ea237b82867ee9aa885 (patch) | |
| tree | a9230a5a577cbb5a1983ff8065fd63345eeb266a /gnu/local.mk | |
| parent | 370ae085b5107a0928fd744a987fb4070bdf6a00 (diff) | |
| download | guix-bf8b09169c7d8ae48ac99ea237b82867ee9aa885.tar.gz guix-bf8b09169c7d8ae48ac99ea237b82867ee9aa885.zip | |
system: grub: Use boot-parameters instead of menu-entry where possible.
* gnu/system/grub.scm (boot-parameters->menu-entry): New variable.
(grub-configuration-file): Use boot-parameters
instead of menu-entry where possible.
* guix/scripts/system.scm (profile-boot-parameters): Update docstring.
(reinstall-grub): Use profile-boot-parameters.
(perform-action): Use profile-boot-parameters.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions