[WWdevel] File Manager and archives

[Davide P.C. <dp...@un...>]

Folks:

In response to the recent request to Mike to move large numbers of 
files to a WW account, it would be possible to add some sort of "make 
archive" and "unpack archive" button to the File Manager that would 
allow a user to make a gzipped tar file from a directory, say, (or a 
collection of sellected files) or unpack such a file.  Do you think 
this is an important feature to add?  How often will this be necessary? 
  I suppose that a professor might want to get a collection of set.def 
files and their associated headers from a into a single archive to be 
able to move them to a new course in a new term.  I suggest gzipped tar 
format since that will certainly be available, while the tools for 
making things like ZIP files might not.  Do you think that would be 
sufficient?

Davide