ref: a9636b398c7b4a019ba19f8e9d05fae7b66a82a3
parent: 692e7fa54764f62cf46e0f4c35dd9241669858fc
author: penny <penny@limitedideas.org>
date: Tue Oct 21 15:31:37 EDT 2025
gitignore + pandoc filter
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,5 @@
config.json
.DS_Store
+release_id
+hell
--- /dev/null
+++ b/web/links-to-html.lua
@@ -1,0 +1,18 @@
+-- links-to-html.lua
+function Link(el)
+ local release_id_file = io.open("release_id", "r")+ local release_id = ""
+
+ if release_id_file then
+ -- Read the first line of the file (assuming the ID is there)
+ release_id = release_id_file:read("*l")+ io.close(release_id_file)
+ end
+
+ if release_id ~= "" then
+ -- Replace the placeholder $release_id in the link target
+ el.target = string.gsub(el.target, "$release_id", release_id)
+ end
+
+ return el
+end
--
⑨