To save disk space in your home directory, compress files you rarely

use with "gzip filename".

-- Dru