win10 linux 把一个文件压缩 用命令