Modificare le preferenze di GRUB

Per modificare grub agire sul file

/etc/default/grub

dopo di che lanciare il comando

grub-mkconfig -o /boot/grub/grub.cfg

per aggiornare il file /boot/grub/grub.cfg (migration di /boot/grub/menu.lst).