Pushed as 2890114a708e3a54a14ceb762f0726b013ffdc85. Csepp <raingl...@riseup.net> writes: > There was a thread about having a dedicated "safe video" option in the > GRUB menu, like a lot of distros do. I still think we should do that
Yes, I agree. It would need a way to make a custom GRUB menu entry that refers to a Guix System generation, and adding that feature is complicated because it best worked for other non-GRUB bootloaders too. If it were added, “safe video” could be described in the same place. Regards, Florian
