Re: Can (grub-configuration (device $DEV)) accept UUIDs?

On Mon, 06 Mar 2017 17:19:21 +0100 l...@gnu.org (Ludovic Courtès) wrote: > Unfortunately it can’t, because there are no UUIDs (that I know of) to > identify drives. > > However, as the manual vaguely suggests (too vaguely I admit), you can > use a GRUB device identifier such as “(hd0)”. This is

Re: Can (grub-configuration (device $DEV)) accept UUIDs?

Hi, skribis: > 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

Can (grub-configuration (device $DEV)) accept UUIDs?

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