Azt lehet még csinálni, ha jó a fájlrendszer, hogy manuálisan törölsz még állományokat (igen, olvastam, törölgettél, de ebben az esetben sok apró fájlt kell törölni) , mégpedig az /usr/src/ könyvtárból a felesleges, régi linux-headers könyvtárakat tartalmukkal együtt. (Írod is: "rengeteg linux-image verzió van fönt" De látszik is a df -i eredményéből: 562501 usr.
Ez soknak tűnik, főleg, ha figyelembe vesszük, hogy az én rendszeremen kb. feleannyi fájl van ugyanabban a könyvtárban (Kubuntu 13.10, 37 GB-os rendszerpartíción).
cd /usr/src
ls
A megjelnő könyvtárak közül a legrégebbieket törlöd a
sudo rm -rf /usr/src/linux-headers-3.0 (TAB-bal kiegészítve) paranccsal. Vigyázz, veszélyes parancs, szóköz véletlenül se maradjon az első / után!