This is an automated email from the ASF dual-hosted git repository.
sebb pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/whimsy.git
The following commit(s) were added to refs/heads/master by this push:
new cbd01f23 Render minutes as HTML with anchors
cbd01f23 is described below
commit cbd01f23bae843acda37fb2b619f7163729e710b
Author: Sebb <[email protected]>
AuthorDate: Sun Oct 27 17:16:53 2024 +0000
Render minutes as HTML with anchors
---
www/board_minutes.cgi | 86 +++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 86 insertions(+)
diff --git a/www/board_minutes.cgi b/www/board_minutes.cgi
new file mode 100755
index 00000000..c00a6e6c
--- /dev/null
+++ b/www/board_minutes.cgi
@@ -0,0 +1,86 @@
+#!/usr/bin/env python3
+
+"""
+CGI script to render Board minutes with HTML anchors
+"""
+import os
+import os.path
+import sys
+import re
+
+sys.path.append('/srv/whimsy/tools')
+import boardminutes2html
+
+# Where to find minutes (locally to Whimsy)
+MINUTES_TXT = '/srv/svn/minutes'
+
+HEAD = """<head>
+<meta charset="UTF-8">
+</head>
+<body>"""
+
+TAIL = """</body>
+</html>"""
+
+def minutes(path):
+ """Return sorted list of minute base names"""
+ for file in sorted(os.listdir(path)):
+ if (re.fullmatch(r'board_minutes_\d\d\d\d_\d\d_\d\d\.txt', file)
+ and os.path.isfile(os.path.join(path, file))):
+ yield file
+
+def year_index(year):
+ """Generate year index"""
+ if not re.fullmatch(r'\d\d\d\d', year):
+ print(f"Invalid year: {year}")
+ return
+ folder = os.path.join(MINUTES_TXT, year)
+ if not os.path.isdir(folder):
+ print(f"Could not read directory: {year}")
+ return
+ print(HEAD)
+ print(f'<h1>Board minutes: index of {year}</h1>')
+ for minute in minutes(folder):
+ print(f"<a href='{year}/{minute}'>{minute}</a><br>")
+ print(TAIL)
+
+def top_index():
+ """Generate index of years"""
+ print(HEAD)
+ print('<h1>Board minutes: index of years</h1>')
+ for folder in sorted(os.listdir(MINUTES_TXT)):
+ if re.fullmatch(r'\d\d\d\d', folder):
+ print(f"<a href='{folder}'>{folder}</a>")
+ print(TAIL)
+
+def main():
+ """Handle HTTP requests"""
+
+ print("Content-type: text/html\n\n")
+
+ try:
+ info = os.environ['PATH_INFO']
+ parts = info.lstrip('/').split('/')
+ if parts[-1] == '': # drop trailing empty part
+ parts.pop()
+ # Route the request
+ if len(parts) == 0:
+ top_index()
+ elif len(parts) == 1:
+ year_index(parts[0])
+ elif len(parts) == 2:
+ year = parts[0]
+ basename = parts[1]
+ source = os.path.join(MINUTES_TXT, year, basename)
+ if not os.path.exists(source):
+ print(f"No such file as {source}")
+ return
+ with open(source, encoding='utf8') as inp:
+ boardminutes2html.text2html(inp, sys.stdout)
+ else:
+ print(f"Invalid request {parts} {len(parts)}")
+ except Exception as ex:
+ print(ex)
+
+if __name__ == '__main__':
+ main()
