pferd/PFERD/tgi.py
2019-10-17 22:14:32 +02:00

76 lines
2.0 KiB
Python

# TGI Lecture slides
import logging
import pathlib
import re
import zipfile
import bs4
import requests
from .organizer import Organizer
from .utils import rename, stream_to_path, PrettyLogger
__all__ = ["TGI"]
logger = logging.getLogger(__name__)
pretty = PrettyLogger(logger)
class TGI:
CRAWL_URL = "https://i11www.iti.kit.edu/teaching/{year}/tgi/index"
BASE_URL = "https://i11www.iti.kit.edu"
def __init__(self, base_path, year="winter2019"):
self.base_path = base_path
self._session = requests.Session()
self.year = year
def synchronize(self, to_dir, transform=lambda x: x):
pretty.starting_synchronizer(to_dir, "TGI")
sync_path = pathlib.Path(self.base_path, to_dir)
orga = Organizer(self.base_path, sync_path)
orga.clean_temp_dir()
files = self._crawl()
self._download(orga, files, transform)
orga.clean_sync_dir()
orga.clean_temp_dir()
def _crawl(self):
url = self.CRAWL_URL.replace("{year}", self.year)
r = self._session.get(url)
text = r.text
soup = bs4.BeautifulSoup(text, "html.parser")
files = []
for found in soup.select("a.mediafile.mf_pdf"):
url = found["href"]
full_url = self.BASE_URL + url
filename = re.search(r"\d+(/tgi)?/(.+.pdf)", url).group(2)
path = pathlib.PurePath(filename)
logger.debug(f"Found file {filename} at {full_url}")
files.append((path, full_url))
return files
def _download(self, orga, files, transform):
for path, url in sorted(files):
logger.debug(f"Downloading {path}")
new_path = transform(path)
if new_path is not None:
temp_file = orga.temp_file()
self._download_file(url, temp_file)
orga.add_file(temp_file, new_path)
def _download_file(self, url, to_path):
with self._session.get(url, stream=True) as r:
stream_to_path(r, to_path)