demo_push.tape RawHistoryFolder

1# VHS documentation 
2#
3# Output:
4#   Output <path>.gif               Create a GIF output at the given <path>
5#   Output <path>.mp4               Create an MP4 output at the given <path>
6#   Output <path>.webm              Create a WebM output at the given <path>
7#
8# Require:
9#   Require <string>                Ensure a program is on the $PATH to proceed
10#
11# Settings:
12#   Set FontSize <number>           Set the font size of the terminal
13#   Set FontFamily <string>         Set the font family of the terminal
14#   Set Height <number>             Set the height of the terminal
15#   Set Width <number>              Set the width of the terminal
16#   Set LetterSpacing <float>       Set the font letter spacing (tracking)
17#   Set LineHeight <float>          Set the font line height
18#   Set LoopOffset <float>%         Set the starting frame offset for the GIF loop
19#   Set Theme <json|string>         Set the theme of the terminal
20#   Set Padding <number>            Set the padding of the terminal
21#   Set Framerate <number>          Set the framerate of the recording
22#   Set PlaybackSpeed <float>       Set the playback speed of the recording
23#   Set MarginFill <file|#000000>   Set the file or color the margin will be filled with.
24#   Set Margin <number>             Set the size of the margin. Has no effect if MarginFill isn't set.
25#   Set BorderRadius <number>       Set terminal border radius, in pixels.
26#   Set WindowBar <string>          Set window bar type. (one of: Rings, RingsRight, Colorful, ColorfulRight)
27#   Set WindowBarSize <number>      Set window bar size, in pixels. Default is 40.
28#   Set TypingSpeed <time>          Set the typing speed of the terminal. Default is 50ms.
29#
30# Sleep:
31#   Sleep <time>                    Sleep for a set amount of <time> in seconds
32#
33# Type:
34#   Type[@<time>] "<characters>"    Type <characters> into the terminal with a
35#                                   <time> delay between each character
36#
37# Keys:
38#   Backspace[@<time>] [number]     Press the Backspace key
39#   Down[@<time>] [number]          Press the Down key
40#   Enter[@<time>] [number]         Press the Enter key
41#   Space[@<time>] [number]         Press the Space key
42#   Tab[@<time>] [number]           Press the Tab key
43#   Left[@<time>] [number]          Press the Left Arrow key
44#   Right[@<time>] [number]         Press the Right Arrow key
45#   Up[@<time>] [number]            Press the Up Arrow key
46#   Down[@<time>] [number]          Press the Down Arrow key
47#   PageUp[@<time>] [number]        Press the Page Up key
48#   PageDown[@<time>] [number]      Press the Page Down key
49#   Ctrl+<key>                      Press the Control key + <key> (e.g. Ctrl+C)
50#
51# Display:
52#   Hide                            Hide the subsequent commands from the output
53#   Show                            Show the subsequent commands in the output
54
55Output demo_push.gif
56
57Require echo
58Require gordon
59Require curl
60
61Set TypingSpeed 75ms
62Set Shell "bash"
63Set FontSize 17
64Set FontFamily "FiraCode Nerd Font"
65Set Width 1200
66Set Height 300
67
68Type "gordon"
69Sleep 1
70Space
71Type "push"
72Sleep 1
73Space
74Type "bnema/go-helloworld:latest"
75Enter
76
77Sleep 15