From mboxrd@z Thu Jan 1 00:00:00 1970 From: Evan Rowley Subject: Re: bug#20920: Show example for GuixSD config.scm Date: Mon, 29 Jun 2015 14:18:32 -0400 Message-ID: References: <87oajyq4v3.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47334) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z9dda-0003Mx-1l for guix-devel@gnu.org; Mon, 29 Jun 2015 14:18:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z9ddY-0001cW-VA for guix-devel@gnu.org; Mon, 29 Jun 2015 14:18:33 -0400 Received: from mail-ig0-x231.google.com ([2607:f8b0:4001:c05::231]:35363) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z9ddY-0001cS-PR for guix-devel@gnu.org; Mon, 29 Jun 2015 14:18:32 -0400 Received: by igblr2 with SMTP id lr2so58580894igb.0 for ; Mon, 29 Jun 2015 11:18:32 -0700 (PDT) In-Reply-To: <87oajyq4v3.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org Thank you Ludo for sharing your config.scm - it helped me a little. I'm still experiencing issues and have started the thread "Help with basic GuixSD installation" on guix-devel@gnu.org. On Mon, Jun 29, 2015 at 4:46 AM, Ludovic Court=C3=A8s wrote: > Hello, > > Evan Rowley skribis: > >> I'm very interested in running a GuixSD system. I'm currently setting >> one up now, and am hoping someone here would be kind enough to share >> their /etc/config.scm with me. Particularly, I'm looking for examples >> of how a system with multiple partitions would be defined in the >> config.scm file. >> >> My Partitions >> 1. bios_grub 10M >> 2. /boot 500M >> 3. /swap 16.5G >> 4. /root 50G >> 5. /usr 50G >> 6. /var 50G >> 7. /home 50G > > I=E2=80=99m using a separate encrypted /home and a swap partition, so the > declaration looks like this: > > --8<---------------cut here---------------start------------->8--- > (operating-system > (host-name "pluto") > (timezone "Europe/Paris") > (locale "en_US.utf8") > > (bootloader (grub-configuration > (device "/dev/sda"))) > > (mapped-devices (list (mapped-device > (source "/dev/sda3") > (target "home") > (type luks-device-mapping)))) > > (file-systems (cons* (file-system > (device "root") > (title 'label) > (mount-point "/") > (type "ext3")) > (file-system > (device "/dev/mapper/home") > (mount-point "/home") > (type "ext3")) > %base-file-systems)) > > (swap-devices '("/dev/sda4")) ;XXX: LABEL=3Dswap > > ;; ... > ) > --8<---------------cut here---------------end--------------->8--- > > Normally you just need to add extra =E2=80=98file-system=E2=80=99 declara= tions for /var > and /boot in there, and you=E2=80=99re done. > > /usr doesn=E2=80=99t make sense on GuixSD because that directory is not u= sed at > all. > > HTH, > Ludo=E2=80=99. > > PS: Please use guix-devel@gnu.org for discussions; bug-guix@gnu.org goes > to the bug tracker at . --=20 - EJR