From mboxrd@z Thu Jan 1 00:00:00 1970 From: Subject: Can (grub-configuration (device $DEV)) accept UUIDs? Date: Sun, 26 Feb 2017 01:54:15 -0800 Message-ID: <20170226015415.0d14f076@khaalida> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:39880) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1chvXB-0003VJ-Pf for guix-devel@gnu.org; Sun, 26 Feb 2017 04:54:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1chvX8-0001dz-Nm for guix-devel@gnu.org; Sun, 26 Feb 2017 04:54:29 -0500 Received: from sender-pp-092.zoho.com ([135.84.80.237]:25301) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1chvX8-0001dp-Gp for guix-devel@gnu.org; Sun, 26 Feb 2017 04:54:26 -0500 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: guix-devel@gnu.org I am in the process of trying to get GuixSD installed on my desktop and I've run into a minor issue. The documentation doesn't mention any support for UUIDs for grub-configuration (I'm going by the webpage with the install instead of the info files on the LiveUSB). Anyways, since the boot drive is very likely to change between install and the first LiveUSBless install, I'd rather use UUIDs. Can grub-configuration support this? If it can, the docs need to be updated to support this and if not, I'd hope someone could figure out a way to enable support for this.