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

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

From: Peter da Silva
Subject: Re: Delete a file THAT big? Surely you are joking.
Date: 12:56 on 19 Dec 2006
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. :)
There's stuff above here

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