|
From: | Raghav \"RG\" Gururajan |
Subject: | Re: manage /boot/grub/grub.cfg without installing grub binaries to disk |
Date: | Sat, 16 Feb 2019 22:38:27 +0000 |
Hi Raghav,
Raghav RG Gururajan <address@hidden> writes:
> @clement
>
> This is the actual error.
>
> /etc/config-fail.scm:9:0: error: extraneous field initializers (bootloader-configuration)Yes, you need to use the (gnu bootloader) module.
I actually use the (gnu) module as shown in the docs, which exports (gnu
bootloader) and some other stuff too.Clément
> Sent with ProtonMail Secure Email.
>
> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> On Saturday, February 16, 2019 6:58 PM, Raghav "RG" Gururajan <address@hidden> wrote:
>
>> Hi Clement!
>>
>
>> The following is the error I got.
>>
>
>> config-fail.scm:9:0: error: inherit: unbound variable
>> hint: Did you forget a `use-modules' form?
>>
>
>> -------- Original Message --------
>> On 14 Feb 2019, 13:07, Raghav "RG" Gururajan < address@hidden> wrote:
>>
>
>> > Hi Clement!
>> > >
>> > > Thanks! Will do.
>> > >
>> > > @Jack. Can you also try this and let me know. My system is running dd command for 2TB HDD. So gonna take a while.
>> > >
>> > > Thanks!
>> > -------- Original Message --------
>> > On 14 Feb 2019, 12:15, Clément Lassieur < address@hidden> wrote:
>> >
>
>> > > Hi Jack and Raghav,
>> > >
>
>> > > Could you try this?
>> > >
>
>> > > --8<---------------cut here---------------start------------->8---
>> > > (bootloader-configuration
>> > > (bootloader
>> > > (bootloader
>> > > (inherit grub-bootloader)
>> > > (installer #~(const #t)))))
>> > > --8<---------------cut here---------------end--------------->8---
>> > >
>
>> > > Clémentpublickey - raghavgururajan@protonmail.ch - 0xE1982130.asc
Description: application/pgp-keys
[Prev in Thread] Current Thread [Next in Thread]
- manage /boot/grub/grub.cfg without installing grub binaries to disk, Jack Hill, 2019/02/12
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan, 2019/02/13
- manage /boot/grub/grub.cfg without installing grub binaries to disk, Clément Lassieur, 2019/02/14
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan, 2019/02/14
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan, 2019/02/16
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan, 2019/02/16
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Clément Lassieur, 2019/02/16
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan <=
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Clément Lassieur, 2019/02/17
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Raghav \"RG\" Gururajan, 2019/02/18
- Message not available
- Re: manage /boot/grub/grub.cfg without installing grub binaries to disk, Clément Lassieur, 2019/02/19
- Prev by Date: Re: [GNU-linux-libre] [PATCH] gnu: Add ungoogled-chromium.
- Next by Date: Re: [GNU-linux-libre] [PATCH] gnu: Add ungoogled-chromium.
- Previous by thread: Re: manage /boot/grub/grub.cfg without installing grub binaries to disk
- Next by thread: Re: manage /boot/grub/grub.cfg without installing grub binaries to disk
- Index(es):