Re: Store on separate partition

[Tomáš Čech]

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.

Best regards,

S_W

signature.asc
Description: Digital signature