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

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

* Peter da Silva <peter@xxxxxxx.xxx> [2006-12-19 14:00]:
> On Dec 18, 2006, at 7:43 PM, A. Pagaltzis wrote:
> >    #!/bin/sh
> >    tee ${1+"$@"} < /dev/null
> >    exec rm ${1+"$@"}
> 
> That unnecessarily creates the file if it doesn't exist.

Curses. In my haste to get rid of the loop, I missed the -f.

(To be honest, I'm surprised that GNU rm doesn't have an option
for truncating files before deleting them... ehm.)

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

• Re: Delete a file THAT big? Surely you are joking. Peter da Silva 12:56 on 19 Dec 2006
  • A. Pagaltzis 13:47 on 19 Dec 2006

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