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 > > Gottfried
On 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
