Script to download files in batch mode

batch_file_download.py

from urllib.request import urlretrieve
from pathlib import Path
import time
import random

slides_dir = Path('/blablabla/CS590M/slides')

url = lambda n: f"https://blabla.com/slecture{n:02}h.pdf"
fname = lambda n: slides_dir / f"slecture{n:02}h.pdf"

urlfname = lambda n: (url(n), fname(n))

for i in range(1, 13):
  urlretrieve(*urlfname(i))
  time.sleep(0.1 + random.random())