Training scripts

[Greg Louis]

On 20040127 (Tue) at 2147:48 -0500, David Relson wrote:

> A good way to empty a file is:  "cat /dev/null > file".  The file
> retains its attributes (owner and group and permissions) and the length
> becomes zero.

In bash, ">file" will do that.

-- 
| G r e g  L o u i s         | gpg public key: 0x400B1AA86D9E3E64 |
|  http://www.bgl.nu/~glouis |   (on my website or any keyserver) |
|  http://wecanstopspam.org in signatures helps fight junk email. |