def zip_many_files(list_of_abspath, dst):
if os.path.exists(dst):<EOL><INDENT>print("<STR_LIT>" % dst)<EOL>return<EOL><DEDENT>base_dir = os.getcwd()<EOL>with ZipFile(dst, "<STR_LIT:w>") as f:<EOL><INDENT>for abspath in list_of_abspath:<EOL><INDENT>dirname, basename = os.path.split(abspath)<EOL>os.chdir(dirname)<EOL>f.write(basename)<EOL><DEDENT><DEDENT>os.chdir(base_dir)<EOL>
Add many files to a zip archive.

**中文文档**

将一系列的文件压缩到一个压缩包中, 若有重复的文件名, 在zip中保留所有的副本。