2024 https://www.reddit.com/r/NixOS/comments/1aeqb47/setting_up_grub_as_the_bootloader/ 2022 https://www.linuxtechi.com/boot-ubuntu-22-04-rescue-emergency-mode/ 2020 https://www.reddit.com/r/NixOS/comments/k0ue6o/im_getting_two_grub_menus_help/