Mat, that's why my original set of suggestions ("Create Compressed File"
and so on) were to be taken with a large pinch of salt, because I
couldn't think of anything better :)However, there are, I think, three possible cases: 1. collecting many files together into one file and compressing that one file (zip, rar, tar.gz) 2. taking one file and compressing it (gz) 3. collecting many files together into one file and not compressing it (tar) I don't have any user data on this (and some would be useful), but I suspect that case (1) is the most common, and case (2) trivially collapses into case 1 (since there's not much difference between a gzipped file and a zip file with one file in it, and I would imagine that anyone who understands the difference can handle the difference manually). Hence "Create Compressed File": that caters for cases (1) and (2), and use-cases for case (3) are relatively uncommon (and I believe that people who need uncompressed tarballs know enough to know that file- roller will do it anyway, even though the name is a bit wrong). -- "Archive Manager" doesn't mean anything if you don't know what an "archive" is https://bugs.launchpad.net/bugs/15495 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a direct subscriber. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
