From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Drive identifiers Date: Thu, 18 Jan 2018 11:32:11 +0100 Message-ID: <873733bgpg.fsf@gnu.org> References: <87mv1c4kp7.fsf@gnu.org> <86y3kvzypj.fsf@gmail.com> <20180118102914.6cb68394@scratchpost.org> <20180118103933.1121bca7@scratchpost.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]:34410) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ec7UX-0002Pe-Kb for guix-devel@gnu.org; Thu, 18 Jan 2018 05:32:18 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ec7UT-0000Pf-O6 for guix-devel@gnu.org; Thu, 18 Jan 2018 05:32:17 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:47222) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ec7UT-0000PM-Hw for guix-devel@gnu.org; Thu, 18 Jan 2018 05:32:13 -0500 In-Reply-To: <20180118103933.1121bca7@scratchpost.org> (Danny Milosavljevic's message of "Thu, 18 Jan 2018 10:39:33 +0100") 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: Danny Milosavljevic Cc: Guix-devel Danny Milosavljevic skribis: > guix/scripts/system.scm install-bootloader should resolve target, like > > if target doesn't startwith "/dev/" > compare target with ID_SERIAL using udevinfo, return device name > else > as before Do GRUB, U-Boot, and co. provide a way to refer to drivers by serial number? If they do, perhaps we can just pass them the =E2=80=98target=E2= =80=99 string and let them do the right thing. Ludo=E2=80=99.