GRUB notes
From Noah.org
Revision as of 16:40, 11 December 2012 by Root (talk | contribs) (Created page with 'Category:Engineering Edit '''/etc/default/grub'''. Modify file in the directory '''/etc/grub.d'''. Afterwards run '''update-grub''' (which just runs '''grub-mkconfig -o /boo…')
Edit /etc/default/grub. Modify file in the directory /etc/grub.d. Afterwards run update-grub (which just runs grub-mkconfig -o /boot/grub/grub.cfg). Do not edit /boot/grub/grub.cfg. This file is generated by grub-mkconfig.
In /etc/default/grub I like to set the following values:
GRUB_HIDDEN_TIMEOUT_QUIET=false GRUB_TIMEOUT=6