[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: manage /boot/grub/grub.cfg without installing grub binaries to disk
From: |
Clément Lassieur |
Subject: |
Re: manage /boot/grub/grub.cfg without installing grub binaries to disk |
Date: |
Tue, 19 Feb 2019 08:16:13 +0100 |
User-agent: |
mu4e 1.0; emacs 26.1 |
I'm unsure it's related. It's talking about an error while building
xxx-etc.drv. Maybe you should have a look at the actual log?
See "View build log at..."
Raghav RG Gururajan <address@hidden> writes:
> @Clement
>
> The code didn't work. I have attached the error with this email.
> -------- Original Message --------
> On 18 Feb 2019, 09:16, Raghav "RG" Gururajan wrote:
>
>> Ah! Got it. Thank you!
>> -------- Original Message --------
>> On 17 Feb 2019, 13:26, Clément Lassieur wrote:
>>
>>> Raghav RG Gururajan <address@hidden> writes:
>>>
>>>> @clement
>>>>
>>>> Thanks! Btw, shouldn't the first line be "(boot loader
>>>> (bootloader-configuration)" in the code snippet you sent??
>>>
>>> Well, I just gave the value of the bootloader field, but with this your
>>> config.scm should look like:
>>>
>>> (operating-system
>>> [...]
>>> (bootloader (bootloader-configuration
>>> (bootloader
>>> (bootloader
>>> (inherit grub-bootloader)
>>> (installer #~(const #t))))))
>>>
>>> [...]
>>> )
- manage /boot/grub/grub.cfg without installing grub binaries to disk, Jack Hill, 2019/02/12
- 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, 2019/02/16
- 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 <=