压缩解压

给同事发文件夹、存大文件，先压缩再说。Zip、RAR、7z，格式和工具一篇讲清。