]>
Lady’s Gitweb - Status/blob - post-receive
2 from datetime
import datetime
as dt
, timezone
4 from itertools
import starmap
7 from os
.path
import exists
, expanduser
8 from pathlib
import Path
10 from shutil
import copy2
, rmtree
11 from subprocess
import run
13 from warnings
import warn
14 from xml
.dom
import XHTML_NAMESPACE
15 from xml
.dom
.minidom
import getDOMImplementation
, parseString
17 GIT_DIRECTORY
= "/srv/git/Status"
18 BUILD_DIRECTORY
= expanduser("~/lady/status/.build")
19 PUBLIC_DIRECTORY
= expanduser("~/lady/status/public")
20 PUBLIC_URL
= "https://status.ladys.computer"
25 CURRENT_DATETIME
= f
"{dt.now(UTC).replace(tzinfo=None).isoformat(timespec='seconds')}Z"
26 ATOM_NAMESPACE
= "http://www.w3.org/2005/Atom"
28 if stdin
.read().split()[-1] == f
"refs/heads/{LIVE_BRANCH}":
30 print(f
"This is an update to the '{LIVE_BRANCH}' branch; regenerating site…")
32 # Set up the build directory.
33 if exists(BUILD_DIRECTORY
):
34 rmtree(BUILD_DIRECTORY
)
35 cloneresult
= run(["git", "clone", "--local", "--branch", LIVE_BRANCH
, GIT_DIRECTORY
, BUILD_DIRECTORY
], capture_output
=True, encoding
="utf-8")
36 # if cloneresult.stderr:
37 # print(cloneresult.stderr)
38 cloneresult
.check_returncode()
40 # Set up various containers.
45 # Create an XML representation of the provided status text.
46 def statusxml (text
, version
="1.0"):
47 doc
= getDOMImplementation().createDocument(None, "article", None)
48 articleElt
= doc
.documentElement
49 articleElt
.setAttribute("xmlns", XHTML_NAMESPACE
)
50 articleElt
.setAttribute("lang", LANG
)
51 for para
in text
.split("\n\n"):
52 paraElt
= articleElt
.appendChild(doc
.createElement("p"))
53 for component
in re
.findall(r
'<[a-z]+:[^\s]*>(?:="[^\n"]+")?|\n|[^<\n]+|<(?![a-z]+:[^\s]*>)', para
):
55 paraElt
.appendChild(doc
.createElement("br"))
56 elif re
.fullmatch(r
'<[a-z]+:[^\s]*>(?:="[^\n"]+")?', component
):
57 href
= component
.split(">", maxsplit
=1)[0][1:]
58 anchorElt
= paraElt
.appendChild(doc
.createElement("a"))
59 anchorElt
.setAttribute("href", href
)
60 anchorElt
.setAttribute("rel", "noreferrer")
61 anchorElt
.appendChild(doc
.createTextNode(component
if len(href
) == len(component
) - 2 else component
[len(href
)+4:-1]))
63 paraElt
.appendChild(doc
.createTextNode(component
))
64 return articleElt
.toxml()
66 # Map status paths to status objects, or None if there is an error.
68 # The provided path must be to a `text` object.
69 def statusmap (topic
, path
):
70 status
= { "@type": "MicroblogPost" }
71 version_path
= next(path
.parent
.glob("0=*"), None)
72 if version_path
and version_path
.name
!= "0=x_status_git_1.0":
73 warn(f
"Unrecognized version for {path}; skipping.")
76 status
["subject"] = topic
77 author_path
= next(path
.parent
.glob("1=*"), None)
79 status
["creator"] = { "name": author_path
.name
[2:] }
80 with author_path
.open("r", encoding
="utf-8") as text
:
81 status
["creator"]["@id"] = text
.read().strip()
82 title_path
= next(path
.parent
.glob("2=*"), None)
84 with title_path
.open("r", encoding
="utf-8") as text
:
85 title
= text
.read().strip()
86 status
["title"] = title
87 date_path
= next(path
.parent
.glob("3=*"), None)
90 with date_path
.open("r", encoding
="utf-8") as text
:
91 datetime
= text
.read().strip()
92 status
["created"] = datetime
94 warn(f
"Missing date for {path}; skipping.")
96 identifier_path
= next(path
.parent
.glob("4=*"), None)
99 identifier
= identifier_path
.name
[2:]
100 status
["@id"] = f
"{PUBLIC_URL}/topics/{topic}/{identifier}" if topic
else f
"{PUBLIC_URL}/statuses/{datetime[0:7]}/{identifier}"
101 with identifier_path
.open("r", encoding
="utf-8") as text
:
102 status
["identifier"] = text
.read().strip()
103 irimap
[status
["identifier"]] = status
["@id"]
105 warn(f
"Missing identifier for {path}; skipping.")
107 with path
.open("r", encoding
="utf-8") as text
:
108 source
= text
.read().strip()
109 status
["content"] = statusxml(source
)
110 status
["source"] = { "content": source
, "mediaType": "text/plain" }
111 return (datetime
, identifier
, status
)
114 doc
= getDOMImplementation().createDocument(None, "feed", None)
115 atomElt
= doc
.documentElement
116 atomElt
.setAttribute("xmlns", ATOM_NAMESPACE
)
117 atomElt
.setAttribute("xml:lang", LANG
)
118 subject
= ld
["subject"] if "subject" in ld
else "Statuses"
119 titleElt
= atomElt
.appendChild(doc
.createElement("title"))
120 titleElt
.appendChild(doc
.createTextNode(f
"{subject} @ {PUBLIC_URL}"))
121 updatedElt
= atomElt
.appendChild(doc
.createElement("updated"))
122 updatedElt
.appendChild(doc
.createTextNode(CURRENT_DATETIME
))
123 generatorElt
= atomElt
.appendChild(doc
.createElement("generator"))
124 generatorElt
.appendChild(doc
.createTextNode("x_status_git"))
125 generatorElt
.setAttribute("uri", "https://git.ladys.computer/x_status_git")
127 if "OrderedCollectionPage" in ld
["@type"]:
128 idElt
= atomElt
.appendChild(doc
.createElement("id"))
129 idElt
.appendChild(doc
.createTextNode(f
"{PUBLIC_URL}/statuses"))
130 atomLinks
["alternate"] = f
"{PUBLIC_URL}/statuses"
131 atomLinks
["current"] = f
"{PUBLIC_URL}/statuses.atom"
132 atomLinks
["self"] = atomLinks
["current"] if ld
["@id"] == ld
["current"] else f
"{ld['@id']}.atom"
134 atomLinks
["prev-archive"] = f
"{ld['prev']}.atom"
135 if "next" in ld
and ld
["next"] != ld
["current"]:
136 atomLinks
["next-archive"] = f
"{ld['next']}.atom"
138 idElt
= atomElt
.appendChild(doc
.createElement("id"))
139 idElt
.appendChild(doc
.createTextNode(ld
["@id"]))
140 atomLinks
["alternate"] = ld
["@id"]
141 atomLinks
["self"] = f
"{ld['@id']}.atom"
142 for (rel
, href
) in atomLinks
.items():
143 linkElt
= atomElt
.appendChild(doc
.createElement("link"))
144 linkElt
.setAttribute("rel", rel
)
145 linkElt
.setAttribute("href", href
)
146 for item
in ld
["items"]:
147 entryElt
= atomElt
.appendChild(doc
.createElement("entry"))
148 title
= item
["source"]["content"].partition("\n")[0]
150 title
= item
["title"]
151 elif len(title
) >= 28:
152 title
= title
[0:27] + "…"
153 titleElt
= entryElt
.appendChild(doc
.createElement("title"))
154 titleElt
.appendChild(doc
.createTextNode(title
))
155 idElt
= entryElt
.appendChild(doc
.createElement("id"))
156 idElt
.appendChild(doc
.createTextNode(item
["@id"]))
157 updatedElt
= entryElt
.appendChild(doc
.createElement("updated"))
158 updatedElt
.appendChild(doc
.createTextNode(CURRENT_DATETIME
))
159 if "created" in item
:
160 publishedElt
= entryElt
.appendChild(doc
.createElement("published"))
161 publishedElt
.appendChild(doc
.createTextNode(item
["created"]))
162 authorElt
= entryElt
.appendChild(doc
.createElement("author"))
163 if "creator" in item
:
164 nameElt
= authorElt
.appendChild(doc
.createElement("name"))
165 nameElt
.appendChild(doc
.createTextNode(item
["creator"]["name"]))
166 uriElt
= authorElt
.appendChild(doc
.createElement("uri"))
167 uriElt
.appendChild(doc
.createTextNode(item
["creator"]["@id"]))
169 nameElt
= authorElt
.appendChild(doc
.createElement("name"))
170 nameElt
.appendChild(doc
.createTextNode("Anonymous"))
171 contentElt
= entryElt
.appendChild(doc
.createElement("content"))
172 contentElt
.setAttribute("type", "xhtml")
173 contentDiv
= contentElt
.appendChild(doc
.createElement("div"))
174 contentDiv
.setAttribute("xmlns", XHTML_NAMESPACE
)
175 contentDiv
.setAttribute("lang", LANG
)
176 for child
in list(parseString(item
["content"]).documentElement
.childNodes
):
177 contentDiv
.appendChild(child
)
178 return (atomLinks
["self"], atomElt
.toxml())
182 for yearpath
in Path(f
"{BUILD_DIRECTORY}/").glob("[0-9][0-9][0-9][0-9]"):
183 for monthpath
in yearpath
.glob("[0-9][0-9]"):
184 for daypath
in monthpath
.glob("[0-9][0-9]"):
185 for statuspath
in daypath
.glob("*/text"):
186 status_paths
.append((None, statuspath
))
187 for topicpath
in Path(f
"{BUILD_DIRECTORY}/").glob("topic/*"):
188 for hash0path
in topicpath
.glob("[0-9a-f]"):
189 for hash1path
in hash0path
.glob("[0-9a-f]"):
190 for hash2path
in hash1path
.glob("[0-9a-f]"):
191 for hash3path
in hash2path
.glob("[0-9a-f]"):
192 for statuspath
in hash3path
.glob("*/text"):
193 status_paths
.append((topicpath
.name
, statuspath
))
195 # Build status objects and listings.
196 for (datetime
, identifier
, status
) in sorted(filter(None, starmap(statusmap
, status_paths
))):
197 if "subject" in status
:
198 topic
= status
["subject"]
199 if topic
not in topics
:
200 topics
[topic
] = { "@context": { "@language": LANG
, "activity": "https://www.w3.org/ns/activitystreams#", "dct": "http://purl.org/dc/terms/", "foaf": "http://xmlns.com/foaf/0.1/", "sioc": "http://rdfs.org/sioc/ns#", "sioct": "http://rdfs.org/sioc/types#", "OrderedCollection": "activity:OrderedCollection", "Thread": "sioc:Thread", "MicroblogPost": "sioct:MicroblogPost", "items": { "@id": "activity:items", "@type": "@id", "@container": "@list" }, "source": { "@id": "activity:source", "@type": "@id", "@context": { "content": { "@id": "activity:content", "@type": "http://www.w3.org/2001/XMLSchema#string" }, "mediaType": "activity:mediaType" } }, "created": { "@id": "dct:created", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" }, "creator": { "@id": "dct:creator", "@type": "@id" }, "identifier": { "@id": "dct:identifier", "@type": "http://www.w3.org/2001/XMLSchema#anyURI" }, "subject": "dct:subject", "title": "dct:title", "name": "foaf:name", "content": { "@id": "sioc:content", "@type": "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral" }, "feed": { "@id": "sioc:feed", "@type": "@id" } }, "@id": f
"{PUBLIC_URL}/topics/{topic}", "@type": ["OrderedCollection", "Thread"], "feed": f
"{PUBLIC_URL}/topics/{topic}.atom", "items": [], "subject": topic
}
201 topics
[topic
]["items"].append(status
)
203 yyyy_mm
= datetime
[0:7]
204 if yyyy_mm
not in months
:
205 months
[yyyy_mm
] = { "@context": { "@language": LANG
, "activity": "https://www.w3.org/ns/activitystreams#", "dct": "http://purl.org/dc/terms/", "foaf": "http://xmlns.com/foaf/0.1/", "sioc": "http://rdfs.org/sioc/ns#", "sioct": "http://rdfs.org/sioc/types#", "OrderedCollectionPage": "activity:OrderedCollectionPage", "Thread": "sioc:Thread", "MicroblogPost": "sioct:MicroblogPost", "current": { "@id": "activity:current", "@type": "@id" }, "first": { "@id": "activity:first", "@type": "@id" }, "items": { "@id": "activity:items", "@type": "@id", "@container": "@list" }, "partOf": { "@id": "activity:partOf", "@type": "@id" }, "prev": { "@id": "activity:prev", "@type": "@id" }, "next": { "@id": "activity:next", "@type": "@id" }, "source": { "@id": "activity:source", "@type": "@id", "@context": { "content": { "@id": "activity:content", "@type": "http://www.w3.org/2001/XMLSchema#string" }, "mediaType": "activity:mediaType" } }, "created": { "@id": "dct:created", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" }, "creator": { "@id": "dct:creator", "@type": "@id" }, "identifier": { "@id": "dct:identifier", "@type": "http://www.w3.org/2001/XMLSchema#anyURI" }, "title": "dct:title", "name": "foaf:name", "content": { "@id": "sioc:content", "@type": "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral" } }, "@id": f
"{PUBLIC_URL}/statuses/{yyyy_mm}", "@type": ["OrderedCollectionPage", "Thread"], "feed": f
"{PUBLIC_URL}/statuses.atom", "items": [], "partOf": f
"{PUBLIC_URL}/statuses" }
206 months
[yyyy_mm
]["items"].append(status
)
208 # Set up the public directory.
209 if exists(PUBLIC_DIRECTORY
):
210 rmtree(PUBLIC_DIRECTORY
)
211 mkdir(PUBLIC_DIRECTORY
)
213 # Copy H·T·M·L files to their expected locations.
214 copy2(f
"{BUILD_DIRECTORY}/index.html", f
"{PUBLIC_DIRECTORY}/index.html")
215 copy2(f
"{BUILD_DIRECTORY}/about.html", f
"{PUBLIC_DIRECTORY}/.about.html")
216 copy2(f
"{BUILD_DIRECTORY}/status.html", f
"{PUBLIC_DIRECTORY}/.status.html")
217 copy2(f
"{BUILD_DIRECTORY}/statuses.html", f
"{PUBLIC_DIRECTORY}/.statuses.html")
218 copy2(f
"{BUILD_DIRECTORY}/topic.html", f
"{PUBLIC_DIRECTORY}/.topic.html")
219 copy2(f
"{BUILD_DIRECTORY}/topics.html", f
"{PUBLIC_DIRECTORY}/.topics.html")
221 # Output “about” metadata
222 if not exists(f
"{PUBLIC_DIRECTORY}/about"):
223 mkdir(f
"{PUBLIC_DIRECTORY}/about")
224 with
open(f
"{PUBLIC_DIRECTORY}/about/index.jsonld", "w", encoding
="utf-8") as f
:
225 json
.dump({ "@context": { "@language": LANG
, "activity": "https://www.w3.org/ns/activitystreams#", "sioc": "http://rdfs.org/sioc/ns#", "sioct": "http://rdfs.org/sioc/types#", "Forum": "sioc:Forum", "Thread": "sioc:Thread", "Microblog": "sioct:Microblog", "streams": { "@id": "activity:streams", "@type": "@id" } }, "@id": f
"{PUBLIC_URL}", "@type": "Microblog", "streams": [{ "@id": f
"{PUBLIC_URL}/statuses", "@type": "Thread" }, { "@id": f
"{PUBLIC_URL}/topics", "@type": "Forum" }] }, f
, ensure_ascii
=False, allow_nan
=False)
227 # Output month‐based listings and the non‐topic index
228 if not exists(f
"{PUBLIC_DIRECTORY}/statuses"):
229 mkdir(f
"{PUBLIC_DIRECTORY}/statuses")
230 statuspairs
= list(enumerate(months
.items()))
231 for (index
, (yyyy_mm
, ld
)) in statuspairs
:
232 if not exists(f
"{PUBLIC_DIRECTORY}/statuses/{yyyy_mm}"):
233 mkdir(f
"{PUBLIC_DIRECTORY}/statuses/{yyyy_mm}")
234 ld
["first"] = f
"{PUBLIC_URL}/statuses/{statuspairs[0][1][0]}"
235 ld
["current"] = f
"{PUBLIC_URL}/statuses/{statuspairs[-1][1][0]}"
237 ld
["prev"] = f
"{PUBLIC_URL}/statuses/{statuspairs[index - 1][1][0]}"
238 if index
< len(statuspairs
) - 1:
239 ld
["next"] = f
"{PUBLIC_URL}/statuses/{statuspairs[index + 1][1][0]}"
240 with
open(f
"{PUBLIC_DIRECTORY}/statuses/{yyyy_mm}/index.jsonld", "w", encoding
="utf-8") as f
:
241 json
.dump(ld
, f
, ensure_ascii
=False, allow_nan
=False)
242 atomlink
, atomxml
= atomForLD(ld
)
243 with
open(f
"{PUBLIC_DIRECTORY}/{atomlink[len(PUBLIC_URL):-5]}/index.atom", "w", encoding
="utf-8") as f
:
245 with
open(f
"{PUBLIC_DIRECTORY}/statuses/index.jsonld", "w", encoding
="utf-8") as f
:
246 json
.dump({ "@context": { "@language": LANG
, "activity": "https://www.w3.org/ns/activitystreams#", "sioc": "http://rdfs.org/sioc/ns#", "OrderedCollection": "activity:OrderedCollection", "Thread": "sioc:Thread", "current": { "@id": "activity:current", "@type": "@id" }, "first": { "@id": "activity:first", "@type": "@id" }, "has_parent": { "@id": "sioc:has_parent", "@type": "@id" }, "feed": { "@id": "sioc:feed", "@type": "@id" } }, "@id": f
"{PUBLIC_URL}/statuses", "@type": ["OrderedCollection", "Thread"], "feed": f
"{PUBLIC_URL}/statuses.atom", "first": f
"{PUBLIC_URL}/statuses/{statuspairs[0][1][0]}", "current": f
"{PUBLIC_URL}/statuses/{statuspairs[-1][1][0]}", "has_parent": f
"{PUBLIC_URL}" }, f
, ensure_ascii
=False, allow_nan
=False)
248 # Output topic‐based listings and the topic index
249 if not exists(f
"{PUBLIC_DIRECTORY}/topics"):
250 mkdir(f
"{PUBLIC_DIRECTORY}/topics")
251 for (topic
, ld
) in topics
.items():
252 if not exists(f
"{PUBLIC_DIRECTORY}/topics/{topic}"):
253 mkdir(f
"{PUBLIC_DIRECTORY}/topics/{topic}")
254 with
open(f
"{PUBLIC_DIRECTORY}/topics/{topic}/index.jsonld", "w", encoding
="utf-8") as f
:
255 json
.dump(ld
, f
, ensure_ascii
=False, allow_nan
=False)
256 atomlink
, atomxml
= atomForLD(ld
)
257 with
open(f
"{PUBLIC_DIRECTORY}/{atomlink[len(PUBLIC_URL):-5]}/index.atom", "w", encoding
="utf-8") as f
:
259 with
open(f
"{PUBLIC_DIRECTORY}/topics/index.jsonld", "w", encoding
="utf-8") as f
:
260 json
.dump({ "@context": { "@language": LANG
, "activity": "https://www.w3.org/ns/activitystreams#", "dct": "http://purl.org/dc/terms/", "sioc": "http://rdfs.org/sioc/ns#", "Collection": "activity:Collection", "Forum": "sioc:Forum", "items": { "@id": "activity:items", "@type": "@id" }, "has_parent": { "@id": "sioc:has_parent", "@type": "@id" }, "subject": "dct:subject" }, "@id": f
"{PUBLIC_URL}/topics", "@type": ["Collection", "Forum"], "items": list(map(lambda a
: { "@id": a
["@id"], "subject": a
["subject"] }, topics
.values())), "has_parent": f
"{PUBLIC_URL}" }, f
, ensure_ascii
=False, allow_nan
=False)
262 # Output the I·R·I redirection page
263 with
open(f
"{PUBLIC_DIRECTORY}/.lookup.xhtml", "w", encoding
="utf-8") as f
:
264 doc
= getDOMImplementation().createDocument(None, "xml", None)
265 htmlElt
= doc
.documentElement
266 htmlElt
.setAttribute("xmlns", XHTML_NAMESPACE
)
267 htmlElt
.setAttribute("lang", LANG
)
268 headElt
= htmlElt
.appendChild(doc
.createElement("head"))
269 titleElt
= headElt
.appendChild(doc
.createElement("title"))
270 titleElt
.appendChild(doc
.createTextNode("Redirecting…"))
271 scriptElt
= headElt
.appendChild(doc
.createElement("script"))
272 scriptElt
.setAttribute("type", "text/javascript")
273 scriptElt
.appendChild(doc
.createTextNode(f
"location={json.dumps(irimap)}[location.pathname.substring(1)]??`/`"))
274 bodyElt
= htmlElt
.appendChild(doc
.createElement("body"))
275 bodyElt
.appendChild(doc
.createTextNode("Attempting to redirect to the proper page… (Requires Javascript.)"))
278 # Remove the build directory.
279 rmtree(BUILD_DIRECTORY
)
This page took 0.093613 seconds and 5 git commands to generate.