文件.压缩 压缩zip文件
2022-12-22 15:51:57 最后更新
用法:

// 目标文件夹路径
是 a = "%dir"

// 压缩到ZIP的路径
是 b = "%a.zip"

// 解压文件,重复不覆盖
是 d = 文件.压缩(a, b)

//返回 压缩的文件数量
工具.输出(d)