Re: New Install

[Alex Kost]

Ludovic Courtès (2015-09-18 22:25 +0300) wrote:

> Richard <address@hidden> skribis:
[...]
>> Fair enough. May I suggest that at some point (many, many months from now)
>> it might be worth re-visiting that idea? I expect that I am not the only
>> user who might consider multibooting and who has an established boot
>> system.
>
> The main difficulty here is that the GRUB config file that GuixSD
> generates typically include references to files under /gnu/store, and
> one wouldn’t want to maintain that by hand.

I maintain my grub.cfg by hand (so I always use "guix system --no-grub …").
But it is not necessary to point to /gnu/store, because there is
"/var/guix/profiles/system/" which contains all necessary links to the
store.  So a grub entry for booting GuixSD may look like this (assuming
that 'guix' is the label of the partition with GuixSD):

menuentry GuixSD {
    search --label --set=root guix
    linux /var/guix/profiles/system/kernel/bzImage --root=guix 
--system=/var/guix/profiles/system --load=/var/guix/profiles/system/boot
    initrd /var/guix/profiles/system/initrd
}

If someone is interested, here is the relevant part of my grub.cfg with
several GuixSD entries:

function boot_guix {
    search --no-floppy --label --set guix
    linux  ${guix_system}/kernel/bzImage --root=guix --system=${guix_system} 
--load=${guix_system}/boot
    initrd ${guix_system}/initrd
}

menuentry 'GuixSD (current)' --id guix --class guix --class gnu-linux --class 
os {
    set guix_system=/var/guix/profiles/system
    boot_guix
}
menuentry 'GuixSD (stable)' --class guix --class gnu-linux --class os {
    set guix_system=/var/guix/profiles/system-18-link
    boot_guix
}
menuentry 'GuixSD (testing)' --class guix --class gnu-linux --class os {
    set guix_system=/gnu/store/2592rnmais3d51bycm64wx46dgrb1cr5-system
    boot_guix
}