Installazione di Grub Customizer su Ubuntu 17.10
In questo breve articolo andremo ad installare uno strumento molto utile per modificare le diverse sezioni del GRUB su Ubuntu 17.10 attraverso GRUB Customizer.
Consideriamo di partire da una macchina Ubuntu 17.10 preinstallata ( seguire il seguente articolo), aggiungiamo il seguente repository
sudo apt-get install software-properties-common
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
per poter utilizzare lo strumento GRUB Customizer è conveniente installare un ambiente desktop come GNOME.
