summaryrefslogtreecommitdiff
path: root/gnu/bootloader
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-05-23 19:09:46 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-05-29 08:40:03 +0200
commit7202895e5afa9922ba06eaba295645b08d6fd254 (patch)
tree5531cbe8266f17b9a969395d6efcf00e4028697b /gnu/bootloader
parent7e6a42f215726b6ea5b1a2a8b8bc80481f7ebcd9 (diff)
bootloader: grub: Use inheritance to define grub-minimal-bootloader.
* gnu/bootloader/grub.scm (grub-minimal-bootloader): Inherit from grub-bootloader to avoid field redefinition.
Diffstat (limited to 'gnu/bootloader')
-rw-r--r--gnu/bootloader/grub.scm9
1 files changed, 3 insertions, 6 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index 23c7a820844..40918ea3078 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -516,13 +516,10 @@ fi~%"))))
516 (configuration-file "/boot/grub/grub.cfg") 516 (configuration-file "/boot/grub/grub.cfg")
517 (configuration-file-generator grub-configuration-file))) 517 (configuration-file-generator grub-configuration-file)))
518 518
519(define grub-minimal-bootloader 519(define* grub-minimal-bootloader
520 (bootloader 520 (bootloader
521 (name 'grub) 521 (inherit grub-bootloader)
522 (package grub-minimal) 522 (package grub-minimal)))
523 (installer install-grub)
524 (configuration-file "/boot/grub/grub.cfg")
525 (configuration-file-generator grub-configuration-file)))
526 523
527(define* grub-efi-bootloader 524(define* grub-efi-bootloader
528 (bootloader 525 (bootloader