Search notes:
Shell command: update-grub
See also
/etc/default/grub
Shell commands
Index