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

[Peter da Silva]

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. Which could be 
very hateful in some cases. :)