【进阶教程】如何压缩一个文件