
Grub-Customizer è una interfaccia
grafica realizzata per semplificare agli utenti la configurazione delle
impostazioni del grub2/burg.
Lo scopo del progetto è quello di creare una interfaccia completa ed intuitiva per la configurazione del grub2/burg.
La caratteristica principale è la
configurazione della lista delle voci del boot menu, ma non modificando
brutalmente il file grub.cfg, bensì mantenendo una configurazione
dinamica.
Per installare l’ultima versione di Grub-Customizer basta eseguire i seguenti comandi:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Mentre se volete solamente aggiornare eseguite semplicemente:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get dist-upgrade
Nessun commento:
Posta un commento