bug#44717: ISO grub config points to nonexistent drive UUID.

Hi, I've unearth this forgotten issue (now fixed, thank you Mathieu!) from my INBOX. Sorry for failing to address myself at the time! Jesse Gibbons writes: > On 11/18/20 10:17 AM, Ludovic Courtès wrote: >> Hi Jesse, >> >> Jesse Gibbons skribis: >> For example, if you pick

bug#44717: ISO grub config points to nonexistent drive UUID.

On 11/18/20 10:17 AM, Ludovic Courtès wrote: Hi Jesse, Jesse Gibbons skribis: For example, if you pick , it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you can see both the DCE UUID for ‘-

bug#44717: ISO grub config points to nonexistent drive UUID.

Hi again, On +2020-11-18 12:17:14 -0700, Jesse Gibbons wrote: > > > On 11/18/20 11:09 AM, Bengt Richter wrote: > > Hi Jesse, > > > > On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: > > [...] > > > I generated the iso with the command > > > `guix system disk-image -t iso9660 --root=installer

bug#44717: ISO grub config points to nonexistent drive UUID.

On 11/18/20 11:09 AM, Bengt Richter wrote: Hi Jesse, On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: [...] I generated the iso with the command `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso --system=i686-linux gnu/system/install.scm` and flash the sd card with

bug#44717: ISO grub config points to nonexistent drive UUID.

Hi Jesse, On +2020-11-17 21:56:32 -0700, Jesse Gibbons wrote: [...] > > I generated the iso with the command > `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso > --system=i686-linux gnu/system/install.scm` > and flash the sd card with the command > `sudo bash -c "echo succ

bug#44717: ISO grub config points to nonexistent drive UUID.

On 11/18/20 10:17 AM, Ludovic Courtès wrote: Hi Jesse, Jesse Gibbons skribis: For example, if you pick , it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you can see both the DCE UUID for ‘-

bug#44717: ISO grub config points to nonexistent drive UUID.

Hi Jesse, Jesse Gibbons skribis: >> For example, if you pick >> , >> it boots just fine. In the GRUB menu entry (type ‘e’ in the menu), you >> can see both the DCE UUID for ‘--root’ and the ISO UUID for ‘search.fs’

bug#44717: ISO grub config points to nonexistent drive UUID.

On 11/18/20 3:31 AM, Ludovic Courtès wrote: Hi, Jesse Gibbons skribis: I generated the iso with the command `guix system disk-image -t iso9660 --root=installer.BaNl/install-x86.iso --system=i686-linux gnu/system/install.scm` and flash the sd card with the command `sudo bash -c "echo success"

bug#44717: ISO grub config points to nonexistent drive UUID.

Hi, Jesse Gibbons skribis: > I generated the iso with the command > `guix system disk-image -t iso9660 > --root=installer.BaNl/install-x86.iso --system=i686-linux > gnu/system/install.scm` > and flash the sd card with the command > `sudo bash -c "echo success" && time sudo dd if=install-x86.iso

bug#44717: ISO grub config points to nonexistent drive UUID.

On multiple computers, when I try to copy a custom operating system iso to an sd card and boot, the boot operation fails. Here's the output on one of the computers: GC Warning: pthread_getattr_up or pthread_getattr_getstack failed for main thread GC Warning: couldn't read /proc/stat Welcome,