GRUB
Table of Contents
1. To update configuration
after changing file `/etc/default/grub' run to generate configuration at `/boot/grub/…'
grub-mkconfig -o /boot/grub/grub.cfg
after changing file `/etc/default/grub' run to generate configuration at `/boot/grub/…'
grub-mkconfig -o /boot/grub/grub.cfg