On Thu, Aug 25, 2016 at 04:30:37PM +0200, Tomáš Čech wrote:
On Wed, Aug 24, 2016 at 12:37:49PM +0200, Carlos Sánchez de La Lama wrote:my (not very big) root partition is almost full, even after garbage-collecting. I am trying to move the store to a separate partition, but this is problematic as you need the store at boot time for the system utilities (and to mount partitions, actually).I tried to do it recently but failed. My understanding is that it's impossible, but I may be wrong.After giving it some more thinking, I also think this is not possible. The kernel image itself is in the store (and must be, because you can have several system generations, each using a different kernel). Same with initrd images. I have finally moved the whole root to a bigger disk, not much different to moving the store as root size (aside from the store) is rather small.I think it is impossible now but to achieve that you'd need only: 1] to store /gnu/store on separate partition (so grub will find it with its --search) 2] and have some bind mounts ready in initrd stage. It would be nice to have more flexibility in this area.
According to https://www.gnu.org/software/guix/manual/guix.html#File-Systems it seems that 'bind-mount' is supported flag so together with 'needed-for-boot?' it should be doable. normal mount /dev/sdX --> /mnt/store-partition bind mount /mnt/store-partition/gnu --> /gnu grub should find your kernel and initrd with --search S_W
signature.asc
Description: Digital signature
