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
OpenPGP_0xD9E413C6C4BB32CE.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
