! to the table of contents
< to the previous section:
> to the next section:
Change it with the given method.
[Stephen Peters
You can change the tools that the Workspace uses to create and read its .compressed files by issuing the following commands in a terminal window:
[Reuven M. Lerner reuven@the-tech.mit.edu]
This is generally a good thing, except that people might follow your advice and then try to send NeXTmail to someone who is still using compress/uncompress. Changing Workspace/uncompress to gunzip isn't a problem, since it uncompresses all sorts of files, but people should be very careful not to change Workspace/compress to gzip unless they will only be dealing with other gzip-equipped users.