14 Nov
2008
14 Nov
'08
12:28 a.m.
On Thu, Nov 13, 2008 at 10:03:12PM +0000, Peter Alcibiades wrote:
Scratched my head for some minutes and then decided, why not, so I did rm. It went with no fuss. Then did du, and /home was now about 50G which seemed about right.
It sounds like the file was still open when you rm'ed it and I /think/ think in this situation that it will show the space as free on the disk but won't actually remove the file until whatever app has the file open has quit. I know that if you delete an open file it won't free up the space until the app that has it open has quit but I can't quite recall what it will do with du etc.
It would have been helpful if you'd had a quick look at it to see what was complaining btw before deleting it ;)
Adam
--
jabberid = quinophex@jabber.earth.li