From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Help with a basic GuixSD installation Date: Mon, 06 Jul 2015 00:33:21 +0200 Message-ID: <871tgmp74e.fsf@gnu.org> References: <87mvzh2vkb.fsf@gnu.org> <87r3osw7t5.fsf@gnu.org> <87r3on3tq7.fsf@netris.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]:46788) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZBsTY-0002hM-0x for guix-devel@gnu.org; Sun, 05 Jul 2015 18:33:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZBsTU-0004bw-QV for guix-devel@gnu.org; Sun, 05 Jul 2015 18:33:27 -0400 In-Reply-To: <87r3on3tq7.fsf@netris.org> (Mark H. Weaver's message of "Sun, 05 Jul 2015 04:16:00 -0400") 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: Mark H Weaver Cc: guix-devel , =?utf-8?B?Q2xhZXMgV2FsbGluICjpn4vlmInoqqAp?= Mark H Weaver skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> "Claes Wallin (=E9=9F=8B=E5=98=89=E8=AA=A0)" skribis: >> >>> So *that's* what the mysterious (title 'label) means! >> >> It=E2=80=99s not that mysterious: > > IMO, 'title' is a very confusing name for that field, because its value > is not the title of anything, but rather determines how the value of the > 'device' field will be interpreted. Yeah, it=E2=80=99s not satisfying, but I didn=E2=80=99t have any better ide= a. > However, to go a bit further: it would be great if all 'device' fields > in the OS config used a consistent syntax for specifying devices by > label or uuid. I prefer to reference my swap partition by label, so I > use "/dev/disk/by-label/=E2=80=A6" in 'swap-partitions', but the lack of > symmetry with 'file-system' grates on me. Right, that=E2=80=99s a problem. > Here's an idea: the values of device fields could be either strings or > lists of the form: > > (uuid "6f8ab=E2=80=A6") > (label "foo") > > Thoughts? What about a data type? (device (kind 'uuid) (value "6f8ab=E2=80=A6")) Ludo=E2=80=99.