From 3c1668e02395d41bb83a4df3d85bf47a7bbdbef4 Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Thu, 1 Oct 2026 12:41:34 -0300 Subject: The landing leads with live text and plays terminal casts first; the Themes page gets a gallery; install starts at the clone The landing's own words sit in one `landing` record in site.typ: a lead on the core idea (any text is live: right-click looks, middle-click runs), where it runs, and a status line whose version is read from build.zig.zon. Recordings come in two shelves: "In a terminal", asciicast players from docs/site/casts/casts.toml (the first autoplays; all loop and fit the width; data inline, so they play from file://), then "In its own window", the GUI clips. asciinema-player 3.17.0 is vendored in docs/site/player with its Apache-2.0 licence, from `npm pack`. The Themes page shows #theme-gallery() from media/themes/themes.toml, a thumbnail per theme opening the full picture; on paper it is nothing. Both shelves and the gallery show placeholders until their files exist. `project` in style.typ lists the mirrors (sourcehut, git.0x4200.cafe); install.typ clones from the first and names them all, and the footer links each. The README clones before it builds. The scripting interface is a virtual filesystem served over 9P, never just a filesystem, in the tagline, captions and README. Co-Authored-By: Claude Opus 5.5 --- docs/typ/install.typ | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'docs/typ/install.typ') diff --git a/docs/typ/install.typ b/docs/typ/install.typ index 37e07d1a..6d853f3f 100644 --- a/docs/typ/install.typ +++ b/docs/typ/install.typ @@ -1,6 +1,11 @@ -// Installing pardes, in three lines: included by setup.typ and by the -// site's landing page, so it is written once. -#import "style.typ": cmd +// Installing pardes: the clone and the build, included by setup.typ and by +// the site's landing page, so it is written once. The mirrors come from +// `project` in style.typ. +#import "style.typ": cmd, project + +#let first = project.mirrors.first() +#cmd("git clone " + first.clone + " && cd pardes") +Every mirror holds the same tree: #project.mirrors.map(m => link(m.web, m.name)).join(", "). With Zig 0.16 (the build fetches everything else): #cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local") -- cgit v1.3