Re: Non-graphical GRUB configuration

[Ludovic Courtès]

myglc2 <address@hidden> skribis:

> On 04/02/2017 at 22:13 Leo Famulari writes:
>
>> On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote:
>>> Based on the GRUB manual [0], how about this plan?
>>>
>>> We'd add these fields to (grub-configuration):
>>
>> [...]
>>
>> NixOS has the user provide a string:
>>
>> https://nixos.org/nixos/manual/options.html#opt-boot.loader.grub.extraConfig
>>
>> It is much simpler than my plan...
>
> I agree this is also workable. It actually is more flexible since it
> allows access to all grub config features.
>
> If you go this way, the guix doc should point the user to the relevant
> grub doc. Since one needs to install grub in order to read the grub doc
> in guix, it might be helpful for the guix doc to mention that as well.

Agreed.

I’m fine either way, but an escape hatch like this is always going to be
useful so it can’t hurt.

Thanks,
Ludo’.