* Peter da Silva <[email protected]> [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/>
