Michael Czechowski c57db78c52 rework dev server: hmr for all courses, per-course targets, root index ...

- make dev serves all courses on port 1312 with marp live reload
- make dev-b/dev-c for single course on 1313/1314
- dev-kill only kills specific ports instead of all marp processes
- add generate-root-index.sh for prod build overview page
- cleanup function uses exec + trap instead of pid files

2026-04-09 22:10:48 +02:00

..

dev-server.sh

rework dev server: hmr for all courses, per-course targets, root index

2026-04-09 22:10:48 +02:00

extract-klausur.sh

rebuild dev and build system with single marp server

2026-02-01 18:17:51 +01:00

generate-index.sh

update semester to sommersemester 2026 across all courses

2026-03-26 18:17:09 +01:00

generate-root-index.sh

rework dev server: hmr for all courses, per-course targets, root index

2026-04-09 22:10:48 +02:00