0_download_svgs.py

import json
import requests
import asyncio
import glob

NUM_SVGS = 8000

paths = glob.glob("svgs/*.svg")
done = [int(path.replace("svgs/","").replace("svgs\\","").replace(".svg","")) for path in paths]
print(done)

with open("resources/database.json", encoding="utf8") as file:
    data = json.load(file)

async def download(i):
    r = requests.get(data[str(i)]["image"], allow_redirects=True)
    with open(f"svgs/{i}.svg", "wb") as f:
        f.write(r.content)
    print(i)

async def main():
    for i in range(NUM_SVGS):
        if i+1 not in done:
            await download(i+1)

asyncio.run(main())