grub hints

Important file locations

configuration file:
/boot/grub/grub.cfg

configuration file used by default:
/etc/default/grub

Change the boot order

– Identify the boot partition where we want to boot by default:
cat /boot/grub/grub.cfg | grep -i 'menuentry '
For each bootable partition, we have a menuentry that identified it. We need to get the identifier we want to boot by default.
– Now, we can update the GRUB_DEFAULT="..." property defined in the /etc/default/grub file with the wished identifier.
– To apply changes, we need to execute sudo update-grub

Ce contenu a été publié dans Non classé. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *