From mboxrd@z Thu Jan 1 00:00:00 1970 From: Giovanni Biscuolo Subject: bug#35995: [wishlist] bootloader-configuration, avoid use of /dev/sd? Date: Wed, 29 May 2019 21:16:11 +0200 Message-ID: <87imtt137o.fsf@roquette.mug.biscuolo.net> References: <874l5i52i1.fsf@roquette.mug.biscuolo.net> <87r28mzqxv.fsf@nckx> <87y32u3c9f.fsf@roquette.mug.biscuolo.net> <87o93mwr4b.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:41107) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hW44P-0008FQ-JZ for bug-guix@gnu.org; Wed, 29 May 2019 15:17:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hW44O-0007ej-Fv for bug-guix@gnu.org; Wed, 29 May 2019 15:17:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:46355) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hW44O-0007eU-Ct for bug-guix@gnu.org; Wed, 29 May 2019 15:17:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hW44O-0008LA-6G for bug-guix@gnu.org; Wed, 29 May 2019 15:17:04 -0400 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([209.51.188.92]:40976) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hW43z-0008Ej-01 for bug-guix@gnu.org; Wed, 29 May 2019 15:16:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hW43x-0007Ly-40 for bug-guix@gnu.org; Wed, 29 May 2019 15:16:38 -0400 Received: from ns13.heimat.it ([46.4.214.66]:57480) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hW43v-0007GG-H1 for bug-guix@gnu.org; Wed, 29 May 2019 15:16:37 -0400 Received: from localhost (ip6-localhost [127.0.0.1]) by ns13.heimat.it (Postfix) with ESMTP id 5DFD4300F54 for ; Wed, 29 May 2019 19:16:33 +0000 (UTC) Received: from ns13.heimat.it ([127.0.0.1]) by localhost (ns13.heimat.it [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nGCbN9o8WDR0 for ; Wed, 29 May 2019 19:16:12 +0000 (UTC) Received: from bourrache.mug.xelera.it (unknown [93.56.161.211]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by ns13.heimat.it (Postfix) with ESMTPSA id 80B583000CC for ; Wed, 29 May 2019 19:16:12 +0000 (UTC) Received: from roquette.mug.biscuolo.net (roquette.mug.biscuolo.net [10.38.2.14]) by bourrache.mug.xelera.it (Postfix) with SMTP id DC768300A04 for ; Wed, 29 May 2019 21:16:11 +0200 (CEST) List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 35995@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello, Following a recent discussion on Guix-devel [1] I'm "forwarding here" a proposal to switch from /dev/sd? to (target (uuid ...)) in bootloader-configuration operating-system declaration This is a recap of current situation: the installer usually uses /dev/sda as target for grub-install (and bootloader-cofiguration) but it happened to me that on a machine /dev/sda was the USB media, not the target HD The fact is that it's not guaranteed that /dev/sd? always corresponds to the same device This is where we are with the discussion: Ludovic Court=C3=A8s writes: > Hello! > > Giovanni Biscuolo 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 rathe= r 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. [1] Message-ID: <87o93mwr4b.fsf@gnu.org> http://lists.gnu.org/archive/html/guix-devel/2019-05/msg00454.html =2D-=20 Giovanni Biscuolo Xelera IT Infrastructures --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEERcxjuFJYydVfNLI5030Op87MORIFAlzu2nsACgkQ030Op87M ORLxIRAAofCSPxkPjw/1rmFuJmp03DzujXbWQF6idUvGPZnhBPyDYjXyMJCU2oEk ctvOlOKfe4NpI/2P7wUxSxgXJ6iLOezdZZV5BOrc707TaeB3sRYILKhnsL8FLBJK zo+5fALgXw47TVh6KHFIN6NCb70F31tDtrFtGkKE043J4u59CtvwSxdQxEAaLIoc wkIW6f9xiMzf/I/EHt31Rw+ZqaLZjKxXDzkn6ETwK8tsNRQd+eZDpsuvHH8KpelU aiLrSPs2xyG2HScqgsFQNINQMomq/TNFwwqcSUr7//5/Ea/cQl8vZQ67L7aV3HzV +B9Zx1KwYYaYGlL234cBMOMl3NhAtkoOiWW1O9cv30JWQBKO3JzwFv3l7dq0eslW Fdu6R7rt4puh+OTpMwmxuBxBq4+h3/kf6Hm2kdbTulTLL3m7qX3LWoH/vMtCeGCB 9P9LJCe4UZ7sRkrZvO2QleeaexKHEWndvEeSbODFAGka1zmiAuiC1rAscErf7sj+ XZTTW4+zIY2Gb8xHnMa/Xj1ja0CZj4afamgAZ9eaE6KyLsi+qjNARd1K5wWJ+uff UrZR86QmlZ+w6FybWSaSVNfziyDRrr2GsRD2J6pBteFwvTPZkVjZCGvWciXBuYIU tmAaNJE8aC0EVsLIMDlSMTJn/gkp7gFJLXkm1LNZ0nJCw2TWESA= =A/Yd -----END PGP SIGNATURE----- --=-=-=--