[debbugs-tracker] bug#24346: closed (GuixSD: grub.cfg does not support separate /gnu partition)

[GNU bug Tracking System]

Your message dated Mon, 26 Sep 2016 17:53:54 +0200
with message-id <address@hidden>
and subject line Re: bug#24346: [PATCH] Generate grub.cfg with correct paths 
when store is not in root partition
has caused the debbugs.gnu.org bug report #24346,
regarding GuixSD: grub.cfg does not support separate /gnu partition
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
24346: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24346
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> GuixSD: grub.cfg does not support separate /gnu partition
>
>
>
>
> Date: 
>
> Wed, 31 Aug 2016 23:17:50 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
>
>
>
>
> See details at
> <https://lists.gnu.org/archive/html/guix-devel/2016-08/msg02082.html>.
>
> Ludo’.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#24346: [PATCH] Generate grub.cfg with correct paths when store is not in root partition
>
>
>
>
> Date: 
>
> Mon, 26 Sep 2016 17:53:54 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)
>
>
>
>
> address@hidden (Carlos Sánchez de La Lama) skribis:
>
> >> I ended up pushing a slightly modified version of this patch as
> >> 0f65f54ebd76324653fd5506a7dab42ee44d9255.
> >
> > Great! Your version looks definitely better :-)
> >
> >> I verified the grub.cfg that ‘guix system reconfigure’ generates and it
> >> seems to work fine.  If you can confirm that it still works for you,
> >> please say so to address@hidden  :-)
> >
> > Works on my system which has store on a separate partition. I have
> > checked grub module and image gets correctly found as well as kernel and
> > initrd.
>
> Great!
>
> Ludo’.
>
>
> --- End Message ---