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.