Re: Store on separate partition

["Tomáš Čech" <sleep_walker@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1561 bytes --]

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

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 819 bytes --]