From 3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5 Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Thu, 1 Oct 2026 14:03:11 -0300 Subject: The landing's words jump to their recordings, the casts open on their telling frame, and #mode-box draws the box Each recording on the landing has an anchor (rec-); the "What's in it" words jump to theirs (Terminals, PDFs, Images, Diff review, Scripting) and the recording's caption ends in a link to the docs; Language servers and Themes, with no recording, link to the docs. A cast's `poster_at` in casts.toml picks the frame it shows until it plays: live-text at the error, terminals at the copied line, petscii on the Mandelbrot; the casts wait for the in-view script to play them. A caption may hold markup: the 9P clip links 9ns to setup. The downloads give their size, read from project.download, and the footer links the changes (project.changes). The guide's annotated pane has alt text, pin 1 beside the workspace tag rather than on Changelog, and pin 5 on the body's text; pin positions are written with repr, since str puts a U+2212 minus CSS cannot read. #mode-box(mark, unsaved:) draws a pane's box as it looks, in print and HTML. Co-Authored-By: Claude Opus 5.5 --- docs/typ/install.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/typ/install.typ') diff --git a/docs/typ/install.typ b/docs/typ/install.typ index c293b3fb..9758777d 100644 --- a/docs/typ/install.typ +++ b/docs/typ/install.typ @@ -7,7 +7,7 @@ let d = project.download for f in d.files { let name = f.url.split("/").last() - [pardes #d.version, #f.what:] + [pardes #d.version, #f.what (#str(calc.round(f.bytes / 1000000)) MB):] cmd("curl -LO " + f.url + "\necho '" + f.sha256 + " " + name + "' | sha256sum -c\nchmod +x " + name + " && mv " + name + " ~/.local/bin/" + f.program) } [The checksums are also in #link(d.sums)[`SHA256SUMS`].] -- cgit v1.3