Tente isso.
Abra um terminal e digite:
~$ cd /usr/src
/usr/src$ ls
Você verá algo assim:
total 16K
drwxr-xr-x 24 root root 4,0K Σεπ 29 22:35 linux-headers-3.2.0-54/
drwxr-xr-x 7 root root 4,0K Σεπ 29 22:35 linux-headers-3.2.0-54-generic/
drwxr-xr-x 3 root root 4,0K Σεπ 29 22:56 nvidia-319-319.32/
A saída pode (e será) diferente de acordo com sua configuração.
Observe de perto as pastas denominadas linux-headers-*
. Estes são os cabeçalhos de todas as suas imagens linux que você instalou. Se você tiver muitos deles, eles vão ocupar muito espaço e inodes. Você só precisa manter a última inicialização de .
Digamos que você tenha um kernel antigo, por exemplo. 3.2.0-53. Para removê-lo, digite:
sudo apt-get remove --purge linux-image-3.2.0-53-generic linux-headers-3.2.0-53 linux-headers-3.2.0-53-generic
para cada um deles.
Se todos os itens acima falharem, tente excluir as pastas OLDER KERNEL manualmente:
sudo rm -rf /usr/src/linux-headers-3.2.0-53{,-generic}