From 406004cdf8719ef583091d2c1f97e6e3a804a00a Mon Sep 17 00:00:00 2001 From: Daniel Micay Date: Sat, 10 Jul 2021 12:04:45 -0400 Subject: rename generate_feed.py to generate-feed.py --- generate-feed.py | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++ generate_feed.py | 52 ---------------------------------------------------- process-static | 2 +- 3 files changed, 53 insertions(+), 53 deletions(-) create mode 100755 generate-feed.py delete mode 100755 generate_feed.py diff --git a/generate-feed.py b/generate-feed.py new file mode 100755 index 00000000..c1e749bd --- /dev/null +++ b/generate-feed.py @@ -0,0 +1,52 @@ +#!/usr/bin/env python3 + +from datetime import datetime + +import lxml.html +from lxml import etree + +document = lxml.html.parse("static_tmp/releases.html").getroot() +releases = document.body.cssselect("#changelog article") + +updated = None +entries = [] + +for release in releases: + title = release.attrib["id"] + time = datetime.strptime(title, "%Y.%m.%d.%H").isoformat() + "Z" + if updated is None: + updated = time + content = [etree.tostring(e).decode() for e in release.getchildren()[1:]] + entries.append(f""" + + https://grapheneos.org/releases#{title} + + {title} + {time} + {time} + +
+ {"".join(content)} +
+
+
""") + +feed = f""" + + https://grapheneos.org/releases#changelog + + + + https://grapheneos.org/favicon.ico + GrapheneOS changelog + {updated} + + GrapheneOS + contact@grapheneos.org + https://grapheneos.org/ + {"".join(entries)} + +""" + +with open("static_tmp/releases.atom", "w") as f: + f.write(feed) diff --git a/generate_feed.py b/generate_feed.py deleted file mode 100755 index c1e749bd..00000000 --- a/generate_feed.py +++ /dev/null @@ -1,52 +0,0 @@ -#!/usr/bin/env python3 - -from datetime import datetime - -import lxml.html -from lxml import etree - -document = lxml.html.parse("static_tmp/releases.html").getroot() -releases = document.body.cssselect("#changelog article") - -updated = None -entries = [] - -for release in releases: - title = release.attrib["id"] - time = datetime.strptime(title, "%Y.%m.%d.%H").isoformat() + "Z" - if updated is None: - updated = time - content = [etree.tostring(e).decode() for e in release.getchildren()[1:]] - entries.append(f""" - - https://grapheneos.org/releases#{title} - - {title} - {time} - {time} - -
- {"".join(content)} -
-
-
""") - -feed = f""" - - https://grapheneos.org/releases#changelog - - - - https://grapheneos.org/favicon.ico - GrapheneOS changelog - {updated} - - GrapheneOS - contact@grapheneos.org - https://grapheneos.org/ - {"".join(entries)} - -""" - -with open("static_tmp/releases.atom", "w") as f: - f.write(feed) diff --git a/process-static b/process-static index 25917aa4..1c07f2be 100755 --- a/process-static +++ b/process-static @@ -34,7 +34,7 @@ find static_tmp -name '*.html' -exec html-minifier --collapse-whitespace \ --remove-redundant-attributes --remove-script-type-attributes \ --remove-style-link-type-attributes --sort-attributes --sort-class-name {} -o {} \; -./generate_feed.py +./generate-feed.py for file in static_tmp/**/*.@(atom|xml); do xmllint --noblanks "$file" --output "$file" -- cgit v1.3.1