You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Dies sind die historisch gewachsenen LaTeX-Quellen für die Eidi-Tutoriums-Folien von Florian Sihler.
Diese Version hier ist eine aus dem Eidi-Repo extrahierte Quelle mit veränderter History und leicht modifizierten
Inhalten um Einzelpersonen anonym zu halten.
Andere Dateien wurden nachträglich entfernt und bleiben in der History, einfach nur weil, sie aus historischen Gründen keine Bedeutung mehr haben.
🐧Gimme
Solange das Repository privat ist und keine pages die Informationen an die Öffentlichkeit bringen sollen, befinden sich alle PDFs in ihrem aktuell möglichen Stand in der build-branch.
Die Folien finden sich hier durch die CI direkt im Repository (inklusive aller animierten Versionen).
Für die Schnellklicker:
Zum Kompilieren empfiehlt sich das Docker-Image. Basteln mit: make docker
Danach kann das Skript run-docker verwendet werden (oder auf anderen Betriebssystemen ein vergleichbares Kommando zum Starten von Docker-Containern verwenden).
Sonst haben die Ordner und Dateien folgende Bedeutung:
*-Tutorium: Referenziert das Tutorium zum jeweiligen Blatt (sowie Org-Tutorium für den Anfang :D)