[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#41541] [PATCH 4/8] bootloader: grub: Add support for multiboot.
|
From: |
Jan Nieuwenhuizen |
|
Subject: |
[bug#41541] [PATCH 4/8] bootloader: grub: Add support for multiboot. |
|
Date: |
Sat, 06 Jun 2020 14:08:42 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Ludovic Courtès writes:
> "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org> skribis:
>
>> * gnu/bootloader/grub.scm (grub-configuration-file): Add support for
>> multiboot.
>
> [...]
>
>> - #:export (menu-entry
>> + #:export (<menu-entry>
>
> Please don’t do that. In general we shouldn’t export record-type
> descriptors as it breaks encapsulation.
Hmm...okay, it's not needed per se. I rewrote the (match (($
<menu-entry>) ... ) to use accessors again!
Greetings, Janneke
--
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com