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

[Jesse Gibbons]

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 the command
> > `sudo bash -c "echo success" && time sudo dd if=install-x86.iso of=/dev/sdc`
> && sync ??
>
> I think I have gotten corrupted results before, by assuming that DD does its 
> own sync
> of its output all the way to completed writing to destination disk before 
> returning.
> (not sure if of= was an ordinary file when I got hit, though ;)
I'm not sure how I can get it to sync. I would normally use the gnome 
disk utiltity to flash an image to an external drive, but for a while it 
didn't respond when I tried to "restore disk image". Now it's working 
fine though. I'll try using gnome disk utility to flash and see if that 
makes a difference.
> > When I inspect the GRUB menu, I see the option
> > --root=31393730-3031-3031-3139-333534353239
> > but in the gnome disk utility on my main laptop I do not see the above UUID
> > in any of the partitions on the SD card I'm using, still with the freshly
> > built install iso flashed onto it. Instead I see the UUIDs
> > 1970-01-01-19-49-46-83 for partition 1 and 3495-32E0 for partition 2.
> >
> > Thanks,
> > -Jesse