Hi, This is a particularly AWFUL user experience bug. Installing GUIX to a partition only lists GUIX in the grub boot menu afterward despite the existence of other bootable OSes on the drive.
Ok fine thinks I, I will just need to manually run grub's mkconfig to force re-detection. But this command does not exist in GUIX. Installing grub did not create grub2-mkconfig. Installing osprober wasn't helpful. I did not see documentation on how to make GUIX detect and add other operating systems to the boot menu from userland. After much time wasted, I needed to download another distro, install it so it would repair the boot menu, and then be able to boot into my main partition. Recommendation: Installer needs to detect and add to the menu the other OSes. Documentation needs to show how to do it manually via a different method if GUIX does not include grub2-mkconfig otherwise it needs to warn upfront that this distro should not be used on multi-boot PCs. Best, Peter
