Am 16.12.25 um 09:25 schrieb pelzflorian (Florian Pelz):
gfp <[email protected]> writes:Hi, I installed besides GNU Guix Gnuinos (devuan) and now when I boot the system the debian/devuan distro Gnuinos boots at first. Guix is on the second place in my boot order. Is it enough to run update-grub to get Guix back to the first place? thanks GottfriedOn Guix System, update-grub is never run. No idea about Debian, but: The EFI boot selection, possibly via F2 key during the starting the computer, is the best way to choose the operating system, I think. Unless you set up more complicated rEFInd or such. Regards, Florian
Hi Florian, Guix solved the problem itself.After updating of my config.scm file Guix put the system Guix on the first place of my boot order.
that´s fantastic. No hassle. Gottfried
OpenPGP_0xD9E413C6C4BB32CE.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
