kernel di troppo

Ogni volta che la nostra distro ubuntu preferita effettua un avanzamento di release, il vecchio kernel rimane li, inutilmente, occupando spazio che magari possiamo utilizzare a nostro piacimento. Non ci resta che cancellare il vecchio kernel con due semplici passi.

Verifichiamo intanto quali kernel sono presenti con il comando

dpkg --get-selections | grep linux-image

–get-selections elenca tutti i pacchetti installati, | grep linux-image filtra solo i pacchetti che contengono la stringa linux-image

Shell

A questo punto notiamo che il kernel 3.5.0-23 non lo utilizzeremo piĆ¹, per cui una volta che ci siamo assicurati che il kernel 3.5.0-40 funziona possiamo eliminare il precedente con il comando:

sudo apt-get purge linux-image-3.5.0-23-generic

Shell

Non ci resta che rispondere “S” per cancellare definitivamente il vecchio kernel e recuperare lo spazio indicato.