Skip to content

feat(pages): use the shared page name katoptra.org.directory.index.html - #8

Merged
jshvn merged 2 commits into
mainfrom
josh/shared-page-name
Oct 17, 2026
Merged

jshvn merged 2 commits into
mainfrom
josh/shared-page-name

Conversation

@jshvn

@jshvn jshvn commented Oct 17, 2026

Copy link
Copy Markdown
Member

Do not merge before cutover step 3.3 (after the forced reconcile of step 3.2). Merging earlier lets the next automatic reconcile delete the pages that the live zone rules serve.

What

  • INDEX is katoptra.org.directory.index.html, the page name of every rsync mirror of katoptra. The zone rewrites for the mirror hosts use it without http.host.

  • INDEX_FILES: index.html index.htm: the page key of a directory with an index file is a server-side copy of that file (same bytes, Content-Type and ETag), as the upstream server serves it at the directory URL. The slashless key keeps the listing.

  • Docs updated; render.txt rendered against lib v2.7.0.

Test plan

  • task check (render matches render.txt)
  • CI green
  • Cutover step 3.4: full page redraw run green; new keys read directly (plan section 9)
  • After the zone switch: directory URLs serve the new keys

jshvn added 2 commits October 16, 2026 18:26
INDEX is katoptra.org.directory.index.html. INDEX_FILES makes the page
key of a directory with index.html (or index.htm) a copy of that file,
as the upstream server does at the directory URL.
@jshvn
jshvn merged commit 0d40701 into main Oct 17, 2026
1 check passed
@jshvn
jshvn deleted the josh/shared-page-name branch October 17, 2026 02:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant