grub-customizer

Installer grub-customizer depuis un ppa et le paramétrer pour que le menu de grub soit visible au démarrage sous linux mint. Les commandes utilisées : - ajout du PPA : sudo add-apt-repository ppa:danielrichter2007/grub-customizer - mise à jour des fichiers : sudo apt-get update - installation de grubcustomizer : sudo apt-get install grub-customizer