El Blog de los Jefotecs

He visto que hay 2 tipos de usuarios de usarios de GNU/Linux:

• Funciona no lo toco.
• Sufro de «actualicitis profunda».

Si eres de los segundos, en poco tiempo te encontrarás con muchos kernels antiguos en tu PC, que simplemente están ahí ocupando espacio.

Vamos a ver como eliminarlos, sólo son 2 comandos:

• Ver kernels instalados:

$ dpkg –get-selections | grep linux-image

• Eliminar un Kernel:

$ sudo aptitude purge paquete

Como una imagen dice más que 1000 palabras: