Grub Customizer
by Rémi Robichet
Easiest way to change grub configuration
Instead of struggling with /etc/grub.d/* files to change grub config, you can install the grub-customizer application for Ubuntu.
Ressources :
- https://doc.ubuntu-fr.org/grub-customizer
- https://launchpad.net/~danielrichter2007/+archive/ubuntu/grub-customizer
