1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
# The landing page's recordings, in the order shown. For each clip the
# site ships media/<name>.webm and media/<name>.mp4, with media/<name>.png
# as the poster; a caption may hold markup (#link). `landing = false` keeps a clip off the landing (the
# terminal casts show the same) while its files stay for the chapters. While `ready` is false the clip shows placeholder.svg and
# no video, so the site builds before a recording exists.
[[clip]]
name = "pdf-navigation"
caption = "A 2,515-page PDF: page, jump to CPUID, search, step hits."
ready = true
[[clip]]
name = "image-pane"
caption = "Right-click an image's name, even in a shell, to open it."
ready = true
[[clip]]
name = "pdf-tint-fit"
caption = "PdfTint tints the page, PdfFit fits it, a page address jumps."
ready = true
[[clip]]
name = "text-is-the-interface"
caption = "Middle-click make in the README; right-click the error."
ready = true
[[clip]]
name = "terminals-are-panes"
caption = "A terminal is a pane: Ctrl-b, then move over its output."
ready = true
landing = false
[[clip]]
name = "scripting-over-9p"
caption = "A shell under #link(\"setup.html#ninens\")[9ns], where the session is a directory: ls, cat, echo."
ready = true
[[clip]]
name = "diff-review"
caption = "Right-click a diff line to open that line of the file."
ready = true
[[clip]]
name = "chords"
caption = "Hold left, click middle to cut; click right to paste."
ready = true
landing = false
|
