[Gyuunduh]

There seems to be a bug with the filesystem. When I delete files (did it with rm -r ), it doesn't free disk space. I had downloaded a mass of youtube videos, copied them to another computer but after deleting them, there still isn't any more than 2 gigs free on a 16 GB SD card.

sudo ncdu -q run from / shows the following:
http://pastebin.com/8udKep5m
, that it to say that only < 5 GB of space should be in use.
df -h on the other hand tells that
http://pastebin.com/GjdAHwRB
, 12 G is used and only 2.3 GB is available.

What is this? I already once had to format my SD card and reinstall Xbian from scratch because cron+streamripper -recordings from internet radio streams had filled the SD card and deleting files / moving them elsewhere simply didn't free any disk space.

Is there a command to check file indexes and free space or something else I can do?