let filesDir = $files.getFilesDir()
let src = $files.buildFile((fileBuilder) => {
    fileBuilder.setPath(filesDir, "tmp/abc.txt")
})
src.writeText("hello world", "UTF-8")
let dest = $files.buildFile((fileBuilder) => {
    fileBuilder.setPath(filesDir, "tmp/abc.zip")
})
$console.log($files.zipFile(src, dest, null))
$console.log(dest.exists() && dest.isFile())
src.delete()
dest.delete()