glouis at dynamicro.on.ca
Wed Jan 28 06:47:39 EST 2004
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. |
More information about the Bogofilter