On 26 Jul 2023 07:43 -0400, from [email protected]: > I just tried to boot > into the new OS and it booted!!! After bumbling luck on my part, but I'll > take it.
In that case, you may want to run `sudo update-grub` from within the system that boots. Doing so will rewrite the GRUB configuration files. -- Michael Kjörling 🔗 https://michael.kjorling.se “Remember when, on the Internet, nobody cared that you were a dog?”
