Hi, csanchez...@gmail.com (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 bug-guix@gnu.org: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24346 Please email 24...@debbugs.gnu.org if you have suggestions on how to fix it. Thanks! Ludo’.
