Re: Store on separate partition

[Ludovic Courtès]

Hi,

address@hidden (Carlos Sánchez de La Lama) skribis:

> When rebooting the installed system, I have to edit GRUB command line
> (pressing 'e'), which was:
>
>   search --file --set 
> /gnu/store/2qh58nr4sxc5jwv2ng9sqq06niab8sjp-linux-libre-4.7/bzImage
>   linux /gnu/store/2qh58nr4sxc5jwv2ng9sqq06niab8sjp-linux-libre-4.7/bzImage 
> --root=my-root --system=/gnu/store/4ji3d5v5ci91l69fgi4hdi73kc558whp-system 
> --load=/gnu/store/4ji3d5v5ci91l69fgi4hdi73kc558whp-system/boot
>   initrd /gnu/store/4ji3d5v5ci91l69fgi4hdi73kc558whp-system/initrd
>
> By:
>
> 1) removing "/gnu" from search command, so GRUB root (not kernel root)
>    is correctly set as (hd1,msdos1), i.e. /dev/sdb1
> 2) removing "/gnu" from linux command, so the kernel is correctly loaded
>    by GRUB (/gnu is not removed from --system or --load, as those
>    commands are interpreted by gnu/build/linux-boot.scm after all
>    needed-for-boot filesystems have been mounted in their correct mount
>    points).
> 3) changing initrd path. Removing "/gnu" is not enough, as the path in
>    grub.cfg is a symlink to the real initrd, pointing into /gnu/store
>    which is not available at initrd-loading time. So I placed the
>    synlink destination there, removing "/gnu", so:
>
> initrd /store/<hash>-base-initrd/initrd
>
> And voilá, I can boot into my newly installed GuixSD with /gnu/store in
> a separate partition.

Ooh, I see.

We should fix our grub.cfg generation to take this into account
somehow.  I’ve reported filed it to address@hidden:

  http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24346

Please email address@hidden if you have suggestions on how to
fix it.

Thanks!

Ludo’.