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

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

From: A. Pagaltzis
Subject: Re: Delete a file THAT big? Surely you are joking.
Date: 01:43 on 19 Dec 2006

* Peter da Silva <peter@xxxxxxx.xxx> [2006-12-18 22:15]:
> Wouldn't this solve the original problem?

Not only would it solve it, it actually works better: you don't
need to terminate any process in order to recover the disk space
occupied by files it has opened.

> #!/bin/sh
> 
> # purge - really remove a file!
> 
> for i
> do [ -f $i ] && > $i
> done
> exec rm ${1+"$@"}

    #!/bin/sh
    tee ${1+"$@"} < /dev/null
    exec rm ${1+"$@"}

Regards,
-- 
Aristotle Pagaltzis // <http://plasmasturm.org/>;

There's stuff above here

peter (Peter da Silva) 21:13 on 18 Dec 2006
- A. Pagaltzis 01:43 on 19 Dec 2006
  - Yossi Kreinin 07:53 on 19 Dec 2006
    - too deep to show
  - Medieval Shells dom (Dominic Mitchell) 11:55 on 19 Dec 2006
    - too deep to show
  - Re: Delete a file THAT big? Surely you are joking. Peter da Silva 12:56 on 19 Dec 2006
    - too deep to show

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