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