From 09da0f673cfd9fdb83c4e48a2fa73a274aff4a6f Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Thu, 1 Oct 2026 11:17:45 -0300 Subject: The documentation site's landing page has four short silent clips in docs/site/media, recorded from a hidden test window by test/record_demos.py text-is-the-interface, terminals-are-panes, scripting-over-9p and diff-review: each a webm (VP9), an mp4 (H.264, faststart) and a poster PNG at 960 px, with captions.txt. The script drives a PARDES_TEST session on the virtual clock through stdin mouse events, keys and 9P, keeps the settled frame after each step, draws the pointer and loops each clip with a dissolve back to its first frame. Co-Authored-By: Claude Opus 5.5 --- docs/site/media/captions.txt | 4 ++++ docs/site/media/diff-review.mp4 | Bin 0 -> 139657 bytes docs/site/media/diff-review.png | Bin 0 -> 84748 bytes docs/site/media/diff-review.webm | Bin 0 -> 217009 bytes docs/site/media/scripting-over-9p.mp4 | Bin 0 -> 169230 bytes docs/site/media/scripting-over-9p.png | Bin 0 -> 62426 bytes docs/site/media/scripting-over-9p.webm | Bin 0 -> 230045 bytes docs/site/media/terminals-are-panes.mp4 | Bin 0 -> 108616 bytes docs/site/media/terminals-are-panes.png | Bin 0 -> 72971 bytes docs/site/media/terminals-are-panes.webm | Bin 0 -> 132696 bytes docs/site/media/text-is-the-interface.mp4 | Bin 0 -> 244272 bytes docs/site/media/text-is-the-interface.png | Bin 0 -> 84804 bytes docs/site/media/text-is-the-interface.webm | Bin 0 -> 330331 bytes 13 files changed, 4 insertions(+) create mode 100644 docs/site/media/captions.txt create mode 100644 docs/site/media/diff-review.mp4 create mode 100644 docs/site/media/diff-review.png create mode 100644 docs/site/media/diff-review.webm create mode 100644 docs/site/media/scripting-over-9p.mp4 create mode 100644 docs/site/media/scripting-over-9p.png create mode 100644 docs/site/media/scripting-over-9p.webm create mode 100644 docs/site/media/terminals-are-panes.mp4 create mode 100644 docs/site/media/terminals-are-panes.png create mode 100644 docs/site/media/terminals-are-panes.webm create mode 100644 docs/site/media/text-is-the-interface.mp4 create mode 100644 docs/site/media/text-is-the-interface.png create mode 100644 docs/site/media/text-is-the-interface.webm (limited to 'docs/site') diff --git a/docs/site/media/captions.txt b/docs/site/media/captions.txt new file mode 100644 index 00000000..55f64d5b --- /dev/null +++ b/docs/site/media/captions.txt @@ -0,0 +1,4 @@ +text-is-the-interface: Middle-click runs a word; right-click an error opens the file. +terminals-are-panes: A shell is a pane: Ctrl-b, then move over its output. +scripting-over-9p: The session is files: a shell script reads and writes its panes. +diff-review: git diff pages into a pane; right-click a change to open it. diff --git a/docs/site/media/diff-review.mp4 b/docs/site/media/diff-review.mp4 new file mode 100644 index 00000000..e3bb2f5b Binary files /dev/null and b/docs/site/media/diff-review.mp4 differ diff --git a/docs/site/media/diff-review.png b/docs/site/media/diff-review.png new file mode 100644 index 00000000..fda184e3 Binary files /dev/null and b/docs/site/media/diff-review.png differ diff --git a/docs/site/media/diff-review.webm b/docs/site/media/diff-review.webm new file mode 100644 index 00000000..ed201b13 Binary files /dev/null and b/docs/site/media/diff-review.webm differ diff --git a/docs/site/media/scripting-over-9p.mp4 b/docs/site/media/scripting-over-9p.mp4 new file mode 100644 index 00000000..af69f85c Binary files /dev/null and b/docs/site/media/scripting-over-9p.mp4 differ diff --git a/docs/site/media/scripting-over-9p.png b/docs/site/media/scripting-over-9p.png new file mode 100644 index 00000000..84e47ba3 Binary files /dev/null and b/docs/site/media/scripting-over-9p.png differ diff --git a/docs/site/media/scripting-over-9p.webm b/docs/site/media/scripting-over-9p.webm new file mode 100644 index 00000000..b6f192b3 Binary files /dev/null and b/docs/site/media/scripting-over-9p.webm differ diff --git a/docs/site/media/terminals-are-panes.mp4 b/docs/site/media/terminals-are-panes.mp4 new file mode 100644 index 00000000..b5f43b35 Binary files /dev/null and b/docs/site/media/terminals-are-panes.mp4 differ diff --git a/docs/site/media/terminals-are-panes.png b/docs/site/media/terminals-are-panes.png new file mode 100644 index 00000000..a97bb6ba Binary files /dev/null and b/docs/site/media/terminals-are-panes.png differ diff --git a/docs/site/media/terminals-are-panes.webm b/docs/site/media/terminals-are-panes.webm new file mode 100644 index 00000000..3f1ab09e Binary files /dev/null and b/docs/site/media/terminals-are-panes.webm differ diff --git a/docs/site/media/text-is-the-interface.mp4 b/docs/site/media/text-is-the-interface.mp4 new file mode 100644 index 00000000..19545731 Binary files /dev/null and b/docs/site/media/text-is-the-interface.mp4 differ diff --git a/docs/site/media/text-is-the-interface.png b/docs/site/media/text-is-the-interface.png new file mode 100644 index 00000000..81a73aee Binary files /dev/null and b/docs/site/media/text-is-the-interface.png differ diff --git a/docs/site/media/text-is-the-interface.webm b/docs/site/media/text-is-the-interface.webm new file mode 100644 index 00000000..88c02d11 Binary files /dev/null and b/docs/site/media/text-is-the-interface.webm differ -- cgit v1.3