It must be admitted, the latest versions of GRUB boot system became somewhat more complicated to configure. Especially since we went from one to several configuration files. Grub Customizer is a graphical application that lets fix that.
Indeed, with the latter, you can easily set preferences Grub : OS to launch the default number of seconds before the automatic choice, colors, background … all with a few mouse clicks.
To install Grub on a distribution based on Ubuntu, open a terminal and run the following commands:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
sudo cp -Rp /etc/grub.d /etc/grub.d.ori
We can then run the program like this: