[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dualbooting with guixsd not handling grub installation
|
From: |
Félicien Pillot |
|
Subject: |
Re: Dualbooting with guixsd not handling grub installation |
|
Date: |
Thu, 1 Feb 2018 09:06:48 +0100 |
Hi Oleg,
Le Thu, 01 Feb 2018 09:14:54 +0300,
Oleg Pykhalov <address@hidden> a écrit :
> We could start by adding a way to add anything. Here is a patch.
> Probably ugly, but as a draft and idea about additional-options.
>
When I try your patch (to solve the dualboot problem I have too) I
get this error:
/etc/config.scm:17:10 : error: extraneous field initializers
(additional-options)
Why me and not you?
--
Félicien Pillot
2C7C ACC0 FBDB ADBA E7BC 50D9 043C D143 6C87 9372
address@hidden - address@hidden
pgpPIhF7RA_dd.pgp
Description: Signature digitale OpenPGP