Liberando espacio desinstalando kernels viejos

Cada cierto tiempo van apareciendo nuevas versiones del kernel, y cada vez que se instala una nueva, se hace cada vez más larga la lista del GRUB.

Para desinstalar los kernels antiguos, debemos primero ver cuáles tenemos instalados con el comando

dpkg --get-selections | grep linux-image

y nos mostrará la lista.

Luego para desinstalar debemos ejecutar

sudo aptitude purge linux-image-2.x.xx.xx-generic

(las xx se completan con la versión que queremos desinstalar)

Además de ganar espacio, tenemos el menú GRUB más "limpio". Eso sí, algunos recomiendan tener la última versión y la inmediatamente anterior, por si las moscas, aunque yo no he tenido ningún problema.