bug#24344: Store on separate partition

2016-08-31 Thread Vincent Legoll
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

bug#24344: Store on separate partition

2016-08-31 Thread John Darrington
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

bug#24344: Store on separate partition

2016-08-31 Thread Ludovic Courtès
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

bug#24346: GuixSD: grub.cfg does not support separate /gnu partition

2016-08-31 Thread Ludovic Courtès
See details at . Ludo’.

bug#24344: Store on separate partition

2016-08-31 Thread Carlos Sánchez de La Lama
>>> 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.

bug#24297: TODO needs an update

2016-08-31 Thread Vincent Legoll
Hello, > I have to admit I'd never read that file. Feel free to send a patch :) What about this ? -- Vincent Legoll From e9307d96579f1f5d61a94fc64c62f37814ea213a Mon Sep 17 00:00:00 2001 From: Vincent Legoll Date: Wed, 31 Aug 2016 09:10:21 +0200 Subject: [PATCH] Update TODO * TODO: remove don