code: def zip_many_files(list_of_abspath, dst):
      
      base_dir = os.getcwd()
  
      with ZipFile(dst, "w") as f:
          for abspath in list_of_abspath:
              dirname, basename = os.path.split(abspath)
              os.chdir(dirname)
              f.write(basename)
  
      os.chdir(base_dir)
docs: Add many files to a zip archive.
  
      **中文文档**
  
      将一系列的文件压缩到一个压缩包中, 若有重复的文件名, 在zip中保留所有的副本。