JSONHTL → HTML Converter

A command-line Python tool that converts a JSONHTL notes store into static HTML files for deployment to a standard web server.

Status

See Status for current state and known gaps.

Goals

• Convert each JSONHTL note into a standalone HTML file.

• Preserve directory structure implied by ‘/’ in note keys.

• Generate internal links that mirror JSONHTL link href values.

• Produce output that can be copied directly to a web server with no broken links.

Output Model

Given key projects/Z80-sudoku-challenge/index, output file becomes projects/Z80-sudoku-challenge/index.html inside the chosen output directory.

Local JSONHTL links are rewritten to point to the corresponding .html files. External http/https links are preserved unchanged.

Code Notes

Source Code — full v2 source, 219 lines, extracted to /home/john/py/envoy/jsonhtl_to_html.py.

fetch_all_notes_from_server — fetch all notes from a JSONHTL HTTP server endpoint.

dump_notes_from_server — render all notes from a server to HTML files.

process_server_notes — alternative server-mode entry point with stricter validation.

Related

JSONHTL Spec — the format this tool renders.