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 | |
| 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')
| -rw-r--r-- | docs/site/media/captions.txt | 4 | ||||
| -rw-r--r-- | docs/site/media/diff-review.mp4 | bin | 0 -> 139657 bytes | |||
| -rw-r--r-- | docs/site/media/diff-review.png | bin | 0 -> 84748 bytes | |||
| -rw-r--r-- | docs/site/media/diff-review.webm | bin | 0 -> 217009 bytes | |||
| -rw-r--r-- | docs/site/media/scripting-over-9p.mp4 | bin | 0 -> 169230 bytes | |||
| -rw-r--r-- | docs/site/media/scripting-over-9p.png | bin | 0 -> 62426 bytes | |||
| -rw-r--r-- | docs/site/media/scripting-over-9p.webm | bin | 0 -> 230045 bytes | |||
| -rw-r--r-- | docs/site/media/terminals-are-panes.mp4 | bin | 0 -> 108616 bytes | |||
| -rw-r--r-- | docs/site/media/terminals-are-panes.png | bin | 0 -> 72971 bytes | |||
| -rw-r--r-- | docs/site/media/terminals-are-panes.webm | bin | 0 -> 132696 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.mp4 | bin | 0 -> 244272 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.png | bin | 0 -> 84804 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.webm | bin | 0 -> 330331 bytes |
13 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. diff --git a/docs/site/media/diff-review.mp4 b/docs/site/media/diff-review.mp4 Binary files differnew file mode 100644 index 00000000..e3bb2f5b --- /dev/null +++ b/docs/site/media/diff-review.mp4 diff --git a/docs/site/media/diff-review.png b/docs/site/media/diff-review.png Binary files differnew file mode 100644 index 00000000..fda184e3 --- /dev/null +++ b/docs/site/media/diff-review.png diff --git a/docs/site/media/diff-review.webm b/docs/site/media/diff-review.webm Binary files differnew file mode 100644 index 00000000..ed201b13 --- /dev/null +++ b/docs/site/media/diff-review.webm diff --git a/docs/site/media/scripting-over-9p.mp4 b/docs/site/media/scripting-over-9p.mp4 Binary files differnew file mode 100644 index 00000000..af69f85c --- /dev/null +++ b/docs/site/media/scripting-over-9p.mp4 diff --git a/docs/site/media/scripting-over-9p.png b/docs/site/media/scripting-over-9p.png Binary files differnew file mode 100644 index 00000000..84e47ba3 --- /dev/null +++ b/docs/site/media/scripting-over-9p.png diff --git a/docs/site/media/scripting-over-9p.webm b/docs/site/media/scripting-over-9p.webm Binary files differnew file mode 100644 index 00000000..b6f192b3 --- /dev/null +++ b/docs/site/media/scripting-over-9p.webm diff --git a/docs/site/media/terminals-are-panes.mp4 b/docs/site/media/terminals-are-panes.mp4 Binary files differnew file mode 100644 index 00000000..b5f43b35 --- /dev/null +++ b/docs/site/media/terminals-are-panes.mp4 diff --git a/docs/site/media/terminals-are-panes.png b/docs/site/media/terminals-are-panes.png Binary files differnew file mode 100644 index 00000000..a97bb6ba --- /dev/null +++ b/docs/site/media/terminals-are-panes.png diff --git a/docs/site/media/terminals-are-panes.webm b/docs/site/media/terminals-are-panes.webm Binary files differnew file mode 100644 index 00000000..3f1ab09e --- /dev/null +++ b/docs/site/media/terminals-are-panes.webm diff --git a/docs/site/media/text-is-the-interface.mp4 b/docs/site/media/text-is-the-interface.mp4 Binary files differnew file mode 100644 index 00000000..19545731 --- /dev/null +++ b/docs/site/media/text-is-the-interface.mp4 diff --git a/docs/site/media/text-is-the-interface.png b/docs/site/media/text-is-the-interface.png Binary files differnew file mode 100644 index 00000000..81a73aee --- /dev/null +++ b/docs/site/media/text-is-the-interface.png diff --git a/docs/site/media/text-is-the-interface.webm b/docs/site/media/text-is-the-interface.webm Binary files differnew file mode 100644 index 00000000..88c02d11 --- /dev/null +++ b/docs/site/media/text-is-the-interface.webm |
