Re: Delete a file THAT big? Surely you are joking.

[prev] [thread] [next] [lurker] [Date index for 2006/12/18]

From: peter (Peter da Silva)
Subject: Re: Delete a file THAT big? Surely you are joking.
Date: 17:11 on 18 Dec 2006

> * Why didn't rm say they were open?
> * And by which process, so I'd know if it's OK to kill it?

I don't expect rm to do either of these things. Over-helpful rm is hateful.

> * Why did unmounting the filesystem succeed, instead of saying the processes 
> still need it?

If that succeeded without saying it was busy then that's a bug.

There's stuff above here

Yossi Kreinin 16:43 on 18 Dec 2006
- =?iso-8859-1?b?U+liYXN0aWVu?= Aperghis-Tramoni 16:52 on 18 Dec 2006
- Martin Ebourne 16:59 on 18 Dec 2006
- peter (Peter da Silva) 17:11 on 18 Dec 2006

Generated at 03:01 on 20 Dec 2006 by mariachi 0.52