Re: Guix/GNU/Linux multi distro + GuixSD multi-site scenario

[ludo@gnu.org (Ludovic Courtès)]

Alex Kost <alezost@gmail.com> skribis:

> Christopher Allan Webber (2016-03-28 19:39 +0300) wrote:
>
>> Alex Kost writes:
> [...]
>>> Hi, I also use double boot (GuixSD and ArchLinux).  I do it like this:
>>> at first I never let GuixSD to reinstall grub by using --no-grub option
>>> ("guix system reconfigure --no-grub ...").  Instead I installed grub
>>> manually (into a separate "boot" partition) and I use my own "grub.cfg",
>>> which has an entry for the latest GuixSD system.  This entry may look
>>> like this:
>>>
>>> menuentry 'GuixSD' {
>>>     search --no-floppy --label --set 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
>>> }
>>>
>>> My grub config¹ also has entries for a previous system generation (I can
>>> boot any generation by editing a number in a grub boot menu) and for a
>>> particular system (sometimes I do "guix system build …" and put the
>>> result directory of this "testing" system to my grub.cfg).
>>>
>>> ¹ https://github.com/alezost/config/blob/master/etc/grub.cfg
>>
>> Hm, I think this approach is not quite as nice, IMO.
>
> Yeah, I think it is not suitable for most people, but it is very nice
> for me :-)

It would be interesting to see how we can better support this use case.

I know of at least one potential blocker, which is
<http://bugs.gnu.org/20067>, but probably there are other issues.

Ludo’.