Para borrar un kernel antiguo en Linux Mint 15 se pueden seguir algunos pasos muy sencillos.
Verificar las versiones disponibles en nuestro sistema. Entramos a la consola:
sudo dpkg -l | grep linux-image
Me sale lo siguiente:
ii linux-image-3.8.0-19-generic 3.8.0-19.30 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-3.8.0-23-generic 3.8.0-23.34 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-3.8.0-25-generic 3.8.0-25.37 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-extra-3.8.0-19-generic 3.8.0-19.30 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-extra-3.8.0-23-generic 3.8.0-23.34 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-extra-3.8.0-25-generic 3.8.0-25.37 i386 Linux kernel image for version 3.8.0 on 32 bit x86 SMP
ii linux-image-generic 3.8.0.25.43 i386 Generic Linux kernel image
Borrar las versiones antiguas que no utilizamos. Entramos de nuevo en la consola:
sudo apt-get remove --purge KERNEL
OBS:
- Donde KERNEL es la versión a eliminar. Por ejemplo sería así «linux-image-3.8.0-19-generic«.
Después de esto podríamos eliminar los kernels antiguos y ahorrarnos unos cuantos megas. XD