diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 14:03:11 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 15:24:04 -0300 |
| commit | 3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5 (patch) | |
| tree | c331f529df447bbeee56cfa21e7f7d3438bcf62b /docs/typ/install.typ | |
| parent | 54948bf22fb891bd31fcd5dc33e0bce7552fe1d4 (diff) | |
| download | pardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.tar.gz pardes-3b186b7724dd3ca0ff67c3c8a0f9823f0f161fc5.zip | |
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-<name>); 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 <[email protected]>
Diffstat (limited to 'docs/typ/install.typ')
| -rw-r--r-- | docs/typ/install.typ | 2 |
1 files changed, 1 insertions, 1 deletions
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`].] |
