bd9d7efe64
"Fix" mypy errors
...
Thank you mypy, very cool. These types make things *so much better*.
They don't just complicate everything and don't really help because they
can not detect that an element queried by a tag is no navigable
string...
2025-02-19 12:15:41 +01:00
5983200247
Treat headings as folders in kit-ipd crawler ( #99 )
2024-11-04 23:53:48 +01:00
739dd95850
Use Last-Modified and ETag headers to determine KIT-IPD file versions ( #95 )
...
Co-authored-by: I-Al-Istannen <i-al-istannen@users.noreply.github.com >
2024-10-27 19:03:47 +01:00
c0d6d8b229
Use url after redirect for relative links
2022-11-21 18:10:45 +01:00
f47d2f11d8
Append trailing slash to kit-ipd links to ensure urljoin works as expected
2022-10-25 20:28:22 +02:00
616b0480f7
Simplify IPD crawler link regex
2022-05-08 18:18:05 +02:00
af2cc1169a
Mention href for users of link_regex option
2022-05-05 14:36:03 +02:00
bc3fa36637
Fix IPD crawler crashing on weird HTML comments
2022-05-05 14:35:42 +02:00
b8fe25c580
Add .cpp to ipd link regex
2022-05-04 14:19:26 +02:00
5f527bc697
Remove Python 3.9 Pattern typehints
2022-01-08 17:14:40 +01:00
88afe64a92
Refactor IPD crawler a bit
2021-11-02 01:25:01 +00:00
6b2a657573
Fix IPD crawler for different subpages ( #42 )
...
This patch reworks the IPD crawler to support subpages which do not use
"/intern" for links and fetches the folder names from table headings.
2021-11-02 01:25:01 +00:00
6673077397
Add kit-ipd crawler
2021-10-21 13:20:21 +02:00
