Grub Customizer, lo strumento grafico per configurare il boot-loader Grub, ha ottenuto un nuovo rilascio pochi giorni fa. Il PPA aggiunge il supporto per Ubuntu 18.10 Cosmic Cuttlefish.
Grub Customizer è un semplice strumento che permette di:
- aggiungere, rimuovere, modificare le voci del menu del boot-loader.
- Imposta la voce di default del sistema operativo, i parametri del kernel, ecc.
- Cambia l’immagine di sfondo, il carattere del testo, la risoluzione, ecc.
- Reinstalla il bootloader in Windows MBR
La più recente 5.1.0 presenta:
- Nuova icona dell’applicazione
- opzione di comando
-v
per visualizzare le informazioni sulla versione. - Aggiornamenti della traduzione e alcuni cambiamenti interni
Come installare Grub Customizer 5..1.0 in Ubuntu:
Per Ubuntu 18.10, e le attuali 3 versioni di Ubuntu LTS (14.04, 16.04, 18.04), installare i pacchetti della nuova release attraverso i seguenti passi:
1. Aprire il terminale da App Launcher o tramite la scorciatoia da tastiera Ctrl+Alt+T. Quando si apre, incolla il seguente comando ed eseguilo per aggiungere il PPA ufficiale:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Inserisci la password utente (senza asterischi per motivi di sicurezza) quando ti chiede e premi Invio per continuare.
2. Poi aggiorna gli elenchi dei pacchetti e installa il software:
sudo apt-get updatesudo apt-get install grub-customizer
Puoi saltare sudo apt-get update
in Ubuntu 18.04 e superiori, dal momento che il passo 1 che aggiunge PPA lo fa automaticamente.
Una volta installato, lanciarlo dal menu applicazioni e godere!
Disinstallare:
Per rimuovere il software, eseguire il comando nel terminale:
sudo apt-get remove --autoremove grub-customizer
E aprire Software & Aggiornamenti e passare alla scheda Altro software per rimuovere i repository PPA di terze parti.