shoney.arickathil
47a920f19a
- rename the two libraries: writeonce-framework -> writeonce-serve
(`use serve`), wo-html -> writeonce-view (`use view`). Names say the
ROLE now; every sample, script, gate and live doc follows
- stories/specs/plans keep the old names: they are dated records, and
both library READMEs carry a "renamed 2026-08-25" note
- serve/http/files.wo: StaticFiles { dir, max_bytes } — traversal
refused not normalised, extension content types, attachment
disposition for archives. Lifted out of the shop, which had said in
a comment that it belonged in the framework
- shop drops its private copy and mounts the framework's
- site: /dl/*path over $WO_DIST (default ./dist), 16 MiB ceiling
- /install gains supported systems — Linux x86-64, glibc >= 2.38,
not musl — read off `file` and the binaries' GLIBC_ symbol
versions, not off a wish list; plus GitHub release as primary,
/dl as mirror, and the sha256 verify step
- site-accept: 17 -> 21 checks (supported systems, gzip download with
a binary-safe probe, checksum, /dl traversal 404)
Verified on 192.168.0.165: the real 960,820-byte tarball downloads
as application/gzip and its sha256 matches the published digest.
Gates: oop-accept MET, site 21/0, web-app 46/0, fibers 10/0,
db-actor 8/0; shop rebuilt and its /assets served by the framework.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
13 lines
651 B
Text
13 lines
651 B
Text
-- layout/header.wo — the site navigation bar, shared by every page.
|
|
use view
|
|
|
|
pub fn header() -> Text {
|
|
let links = link("/install", "text-gray-700", "Install");
|
|
links = links .. link("/ch/hello", "text-gray-700", "Tutorial");
|
|
links = links .. link("/packages", "text-gray-700", "Packages");
|
|
links = links .. link("https://github.com/shoneyj", "text-gray-700", "GitHub");
|
|
-- The brand is the mark plus the wordmark, one inline-flex row so the
|
|
-- tile and the text share a baseline at any font size.
|
|
let brand = el("span", "flex items-center gap-2", logo_svg(28) .. "<span>writeonce.de</span>");
|
|
return nav_bar("/", brand, links);
|
|
}
|