diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 11:17:45 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 12:24:31 -0300 |
| commit | 09da0f673cfd9fdb83c4e48a2fa73a274aff4a6f (patch) | |
| tree | 7214aff712844461931886982461f7fc3c4ecfc8 /docs/site/media/captions.txt | |
| parent | 5874742494a293c5e285d2f1284c748e39d980f8 (diff) | |
| download | pardes-09da0f673cfd9fdb83c4e48a2fa73a274aff4a6f.tar.gz pardes-09da0f673cfd9fdb83c4e48a2fa73a274aff4a6f.zip | |
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 <[email protected]>
Diffstat (limited to 'docs/site/media/captions.txt')
| -rw-r--r-- | docs/site/media/captions.txt | 4 |
1 files changed, 4 insertions, 0 deletions
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. |