mirror of
https://github.com/Kozea/Radicale.git
synced 2025-04-05 14:17:35 +03:00
69 lines
1.9 KiB
Python
Executable file
69 lines
1.9 KiB
Python
Executable file
#!/usr/bin/env python3
|
|
|
|
"""
|
|
Postprocessor program for the HTML output of Pandoc
|
|
"""
|
|
|
|
import sys
|
|
|
|
from bs4 import BeautifulSoup
|
|
|
|
|
|
def add_class(element, class_):
|
|
element["class"] = element.get("class", []) + [class_]
|
|
|
|
|
|
def main():
|
|
soup = BeautifulSoup(sys.stdin.buffer, "html.parser")
|
|
checks_failed = False
|
|
|
|
# Mark the hierachical levels in the navigation
|
|
nav = soup.select("main nav")[0]
|
|
for section in soup.select("main section"):
|
|
link = nav.find("a", href="#" + section["id"])
|
|
if link is None:
|
|
continue
|
|
add_class(link.parent, section["class"][0])
|
|
|
|
# Mark last section
|
|
add_class(soup.select("main section")[-1], "last")
|
|
|
|
# Wrap tables in a div container (for scrolling)
|
|
for table in soup.select("main table"):
|
|
container = soup.new_tag("div")
|
|
add_class(container, "tableContainer")
|
|
table.wrap(container)
|
|
|
|
# Add a link with the fragment to every header
|
|
for header in soup.select("main section > *:first-child"):
|
|
section = header.parent
|
|
link = soup.new_tag("a")
|
|
add_class(link, "headerlink")
|
|
link["href"] = "#" + section["id"]
|
|
link.string = "¶"
|
|
header.append(" ")
|
|
header.append(link)
|
|
|
|
# Check for duplicate ids
|
|
visited_ids = set()
|
|
for element in soup.select("*[id]"):
|
|
if element["id"] in visited_ids:
|
|
print("ERROR: Duplicate id %r" % element["id"],
|
|
file=sys.stderr)
|
|
checks_failed = True
|
|
visited_ids.add(element["id"])
|
|
|
|
# Check for dead internal links
|
|
for link in soup.select("a[href^=\\#]"):
|
|
if link["href"][1:] not in visited_ids:
|
|
print("ERROR: Dead internal link %r" % link["href"],
|
|
file=sys.stderr)
|
|
checks_failed = True
|
|
|
|
if checks_failed:
|
|
sys.exit(1)
|
|
sys.stdout.buffer.write(soup.encode(formatter="html5") + b"\n")
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|