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

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

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

Attachment: OpenPGP_0xD9E413C6C4BB32CE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature

Reply via email to