GRUB, quel simpatico programmino iniziale, all'avvio del PC, che contiene i sistemi operativi presenti sulla macchina e ne permette la scelta, ha la brutta abitudine di riempirsi. Mi spiego meglio: quando si procede agli aggiornamenti del kernel, quelli vecchi vengono mantenuti, in modo preventivo. Può succedere infatti che qualcosa durante l'aggiornamento vada storto e che la macchina si inchiodi e non se ne parla di sbloccarla. Ecco dunque che il vecchio kernel torna utile e ci permette di far riavviare con tutta tranquillità il sistema.
Ma a tanti quell'inutile sequenza non piace ed allora ecco un sistema sicuro per pulire GRUB.
Quello che deve essere modificato si trova nel boot iniziale del sistema, precisamente nel menu.lst. Quindi terminale, e digitate:
sudo gedit /boot/grub/menu.lstSi aprirà una finestra, che contiene una serie di righe, con l'indicazione delle varie versioni del kernel.
Per conoscere quella attualmente in uso sulla vostra macchina basta digitare uname -r.
In questo caso saprete quale versione non vi serve più. Per eliminare basta segnarsi le varie versioni e cancellarle definitivamente eseguendo il seguente comando per ognuna (cambiare xxxxxxxx):
sudo apt-get -s remove linux-image-xxxxxxxxxL'unico consiglio che posso darvi è quello di non procedere subito alla cancellazione, anche se sembra che la nuova versione funzioni a meraviglia. Aspettate qualche aggiornamento, e poi fate quello che credete, a vostro rischio e pericolo! Gancjo.
0 Commenti