Thursday, November 24, 2011

grub customizer

Useful tool if you're going to have several operating systems on one machine (found here).

sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer

No comments:

Post a Comment