Monday, June 16, 2014

How to change grub settings.


edit /etc/default/grub, need root privileges to edit it.

Use terminal, then 
sudo nano /etc/default/grub
and run sudo update-grub to make the changes permanent!