Re: Store on separate partition

[Tomáš Čech]

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