From mboxrd@z Thu Jan 1 00:00:00 1970 From: Chris Marusich Subject: Re: [PATCH} Add RAID devices. Date: Sat, 23 Jul 2016 22:43:58 -0700 Message-ID: <87bn1n4mld.fsf@gmail.com> References: <20160714131306.GA11566@solar> <20160723140701.GB6873@solar> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47499) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRCCu-0007Rb-Al for guix-devel@gnu.org; Sun, 24 Jul 2016 01:44:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bRCCs-0002ru-6K for guix-devel@gnu.org; Sun, 24 Jul 2016 01:44:07 -0400 Received: from mail-pf0-x244.google.com ([2607:f8b0:400e:c00::244]:36005) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRCCr-0002rh-Rk for guix-devel@gnu.org; Sun, 24 Jul 2016 01:44:06 -0400 Received: by mail-pf0-x244.google.com with SMTP id y134so9748616pfg.3 for ; Sat, 23 Jul 2016 22:44:05 -0700 (PDT) In-Reply-To: <20160723140701.GB6873@solar> (Andreas Enge's message of "Sat, 23 Jul 2016 16:07:01 +0200") 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" To: Andreas Enge Cc: guix-devel@gnu.org, myglc2 --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Andreas Enge writes: >> How do you plan to address mdadm and grub config? >> Will you be booting from RAID? > > the attached patch adds RAID support to our mapped device mechanism. Cool! Is it possible to use them in combination? Using the example From=20the documentation, would it possible to use LUKS to create an encrypted /dev/mapper/home which uses /dev/md0 instead of /dev/sda3? > +Alternatively, to become independent of device numbering, one may obtain > +the LUKS UUID (@dfn{unique identifier}) of the source device by a > +command like: How difficult would it be to add support for specifying the sources using UUIDs? I know we could use use the device files in /dev/disk/by-uuid/, but "(guix) File Systems" (footnote 2) recommends against that: "Note that, while it is tempting to use =E2=80=98/dev/disk/by-uuid=E2=80=99 and similar device names to achieve the= same result, this is not recommended: These special device nodes are created by the udev daemon and may be unavailable at the time the device is mounted." > +The @file{/dev/md0} device can then be used as the @code{device} of a > +@code{file-system} declaration (@pxref{File Systems}). > +Note that the RAID level need not be given; it is chosen during the > +initial creation and formatting of the RAID device and is determined > +automatically later. I understand that in Linux, the device file names (e.g., /dev/sda3) can sometimes change unexpectedly. If they change later on, will anything bad happen? > + #~(let ((every (@ (srfi srfi-1) every))) Can't you just use "every" on its own? It looks like you've imported the srfi-1 module earlier on. > + (unless (every file-exists? '#$source) > + (format #t "waiting a bit...~%") > + (sleep 1) > + (loop))) Does the code in this gexp get invoked every time the system starts up? Why is a loop better here than an error? What if the source device files never show up? Also, will that string be properly localized? =2D-=20 Chris --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXlFWgAAoJEN1AmhXYIkadOhUP/0LnsGynQR50EucH+MnqW8Ua +z93Y6Hwav4n90gpKGiy81A5ij2M3RubnsEw30SdnOiyfsfVwgPQTZCneCBvhMAK pVKL8bQtyRRZ8jZnj6t4uwSCM51zZEUVn65P+EkqGnijI9S99AYtv8BFBNB8iWf6 EcQ9DH4Y3CUSBtRIAqFwZx7Q4NOVG898CDmgfuA1tNgt2BmN0R1Zm/Q0LFI2n9C2 JeOZBq9rCmrrvpJS0m4pkd4W6w/qerxcJ2emXL1YzBDZbQwVcDYpzUTN4o34ma2U o5YcKZc0wtMSZ6IWNAVCSHCOZc+I90ScvtHhJvy/kJl7iKWzb4Kigk3VvAqYfFBR eSszn6MDi7f2/quHRb0H+9juazoUjXpjc/5joVzomgGvcR0hvNcjDFUX/sAlfxJ8 o/fKH78bIlfvO0JZAqh0NdBTYoGESYQT38cPssxEQhnde/G8zMKxlpzeQhqgVQtB sRQ86vCvBgirq8e6PGWUve+rR5aOwe8qYZ6tfbqRsO6lg9pDlcvLaBR7ZXT45594 dy/V8pU916/buUQau1rf+iBRCdKJtcELuyV49Zmfs/jKN65Tf+wPyM7yACoZU5Sp p6OHPuY4sePSvrhh1REFco/XDqv7MzREQQ/vX8wUwBPFpA+staKZKbKXspkzvyx5 fOIgvb2MQkwiDxkVXyHB =qaqL -----END PGP SIGNATURE----- --=-=-=--