Hello,
> It would be wonderful if we could go one step further, and have source
> derivations on
> a separate partition to binary derivations. Those two kinds of object have
> significantly,
> different access patterns, and would benefit from being stored on different
> media.
+1
and then it
On Wed, Aug 31, 2016 at 11:21:32PM +0200, Ludovic Court??s wrote:
> And voil??, I can boot into my newly installed GuixSD with /gnu/store in
> a separate partition.
That's great.
It would be wonderful if we could go one step further, and have source
derivations on
a separate partition
Hi,
csanchez...@gmail.com (Carlos Sánchez de La Lama) skribis:
> When rebooting the installed system, I have to edit GRUB command line
> (pressing 'e'), which was:
>
> search --file --set
> /gnu/store/2qh58nr4sxc5jwv2ng9sqq06niab8sjp-linux-libre-4.7/bzImage
> linux /gnu/store/2qh58nr4sxc5jwv
>>> 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.
Hello,
Alex Kost 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 b
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
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 (an
>> 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 b
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 (
Hello,
> 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 did it once and it worke
10 matches
Mail list logo
