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