The best way to empty a file but not completely erase it is to
cp /dev/null filename
That way you do not have to worry about recreating it with the right
permissions, links, etc. This can be especially important when you're
dealing with "system" files.
Eileen Reilly-Horch
American Cyanamid Co.
Agricultural Research Division
P.O. Box 400
Princeton, NJ 08543
reillye@cyanamid.com