Bug#1035096: GRUB not installed or installed to the wrong device

[Peter Ehlert <peter@sdi-baja.com>]

On 5/17/23 10:14, Pascal Hambourg wrote:
> On 17/05/2023 at 16:47, Peter Ehlert wrote:
> > On May 17, 2023 5:48:14 AM Pascal Hambourg <pascal@plouf.fr.eu.org> 
> > wrote:
> > > The proposed patch has not been accepted yet so is not applied to RC3.
> >
> > Thanks, I was not aware of that.
> >
> > > If you are still willing to test it I can send you instructions.
> >
> > Yes, I would like to try.
> > Instructions need to be simple. This is obviously new to me.
>
> 1. Copy the attached patched grub-installer onto a second USB drive 
> formatted with FAT, ext* or any filesystem type the installer can read.
>
> 2. Start the installer (expert install recommended).
>
> 3. Between the steps "Load installer components from installation 
> media" and "Install the GRUB boot loader", switch to a shell with 
> Ctrl+Alt+F2.
>
> 4. Connect and mount the second USB drive seen as /dev/sdXY :
> # mount -r /dev/sdXY /mnt
>
> 5. Copy the file (check the executable permission is preserved):
> # cp /mnt/grub-installer /usr/bin/grub-installer
>
> 6. Unmount and disconnect the USB drive:
> # umount /mnt
>
> 7. Switch back to the installer with Alt+F1 if text or Alt+F5 if 
> graphic, and resume the installation.

the patch works perfectly. no glitches or "odd" behavior

the resulting GRUB menu has the newly installed rc2 at the top as 
default, and the other three systems below that. They all boot properly.


PS: step 3. > I waited until After the popcon opt-out question (the 
select and install soft menu) before I switched into a shell. User Error