已知a文件夾裡有一些txt文件，如果b文件夾裡也有同名文件，把a中的文件拷貝到b，最後把這些拷貝的文件放進一個zip文件裡
代碼如下:
import time
from contextlib import contextmanager
from typing import List
from zipfile import ZipFile
import anyio # pip install anyio
from anyio import Path
src_folder = Path("C:/Users/pushka/pythonApp1/src_folder")
dst_folder = Path("C:/Users/pushka/pythonApp1/dst_folder")
async def copy_file(from_path: Path, to_path: Path, copied) -> None:
if await to_path.exists():
content = await from_path.read_bytes()
await to_path.write_bytes(content)
copied.append(to_path)
print(f"copy file: {from_path} --> {to_path}")
def zip_them(paths: List[Path]) -> str:
filename = "copied.zip"
with ZipFile(filename, "w") as z:
for path in paths:
z.write(path, path.name)
return filename
async def main():
copied = []
async with anyio.create_task_group() as tg:
async for p in src_folder.glob("*.txt"):
dst = dst_folder / p.name
tg.start_soon(copy_file, p, dst, copied)
fn = zip_them(copied)
print(f"zip file created: {fn}")
@contextmanager
def timeit():
start = time.time()
try:
yield
finally:
end = time.time()
print("Cost:", round(end - start, 2), "seconds.")
if __name__ == "__main__":
with timeit():
anyio.run(main)
