From mboxrd@z Thu Jan  1 00:00:00 1970
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@gnu.org>
Subject: Re: Installer: GUIX_IMAGE as /dev/sda on some hardware?
Date: Tue, 28 May 2019 17:11:48 +0200
Message-ID: <87o93mwr4b.fsf@gnu.org>
References: <874l5i52i1.fsf@roquette.mug.biscuolo.net> <87r28mzqxv.fsf@nckx>
	<87y32u3c9f.fsf@roquette.mug.biscuolo.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
In-Reply-To: <87y32u3c9f.fsf@roquette.mug.biscuolo.net> (Giovanni Biscuolo's
	message of "Sat, 25 May 2019 15:16:28 +0200")
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: Giovanni Biscuolo <g@xelera.eu>
Cc: guix-devel@gnu.org, help-guix@gnu.org
List-Id: guix-devel.gnu.org

Hello!

Giovanni Biscuolo <g@xelera.eu> skribis:

> But wait! There's the /dev/disk/by-id/ tree, I did not notice it until
> now! :-)
>
> That's the solution:
>
>
>   (bootloader
>     (bootloader-configuration
>       (bootloader grub-bootloader)
>       (target "/dev/disk/by-id/scsi-3600508b1001c75a3bebb04b23d19e249")
>       (keyboard-layout keyboard-layout)))
>
> I did not test this but it smells like running, if Guix devels agree I
> think Installer should adopt /dev/disk/by-id by default, sorry I'm not
> able to propose a patch for this

Ideally, we=E2=80=99d use an actual UUID object (or a string?) here rather =
than
this Linux/udev-specific idiom.  So it would look like:

  (bootloader-configuration
    ;; =E2=80=A6
    (target (uuid =E2=80=A6)))

Would that work?

I believe using Guile-Parted we could map it back to a /dev name.

WDYT?

Ludo=E2=80=99.