|
From: | Raghav \"RG\" Gururajan |
Subject: | Re: manage /boot/grub/grub.cfg without installing grub binaries to disk |
Date: | Mon, 18 Feb 2019 14:16:56 +0000 |
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))))))[...]
)
publickey - 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, 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 <=
- 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: [urgent] GNU Guix in Outreachy May 2019 round?
- 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):