diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2016-11-07 11:56:52 +0000 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2016-11-08 14:35:05 +0000 |
| commit | 81bf2ccbc408fc2e959d3f5ab019938dad2ce616 (patch) | |
| tree | 8d60cab263206d02ebe085586de3d28b1b4e7bd5 /gnu/system/grub.scm | |
| parent | 842a1400a7caab2ecb03e9bc9223c7a575c02663 (diff) | |
| download | patches-81bf2ccbc408fc2e959d3f5ab019938dad2ce616.tar patches-81bf2ccbc408fc2e959d3f5ab019938dad2ce616.tar.gz | |
system: Use grub from bootloader configuration.
* gnu/system/grub.scm (gnu): Export grub-configuration-grub.
* guix/scripts/system.scm (perform-action): Use it.
(define-module): Don't import (gnu packages grub).
Co-authored-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/system/grub.scm')
| -rw-r--r-- | gnu/system/grub.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm index 5c9d0f15a1..4657b06b5f 100644 --- a/gnu/system/grub.scm +++ b/gnu/system/grub.scm @@ -51,6 +51,7 @@ grub-configuration grub-configuration? grub-configuration-device + grub-configuration-grub menu-entry menu-entry? |