Hi,
In case you haven't noticed /home is nearly full, we are desperately short of
disk space. Could you please remove any files you no longer need and zip up
any files you don't use on a regular basis. To zip a file use gzip
gzip -9 myfile
This will append a .gz onto the end of the file. To unzip use the gunzip
command.
gunzip myfile.gz
If it's a directory you'll need to use tar. So use this command to zip
the directory,
tar zcvf mydir
To extract it use
tar zxvf mydir.tar.gz
Remember tar doesn't remove the directory so use rm -r mydir to remove it once
you've tar'ed it.
Thanks.
Regards,
Noel.
--
Isn't it interesting that the same people who laugh at science fiction
listen to weather forecasts and economists?
-- Kelvin Throop III