Re: Store on separate partition

[Ludovic Courtès]

Hello,

Alex Kost <address@hidden> skribis:

> Carlos Sánchez de La Lama (2016-08-24 10:06 +0300) wrote:
>
>> Hi all,
>>
>> 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).
>>
>> Is there a known way to achieve this?
>
> I tried to do it recently but failed.  My understanding is that it's
> impossible, but I may be wrong.

It would be interesting to fix it.  In theory there’s no reason why it
shouldn’t work (you need to mark the /gnu/store file system as
‘needed-for-boot?’.)

If you or Carlos could try it and report details to address@hidden, we
could start from there.

Thanks!

Ludo’.