-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
zrottman
committed
Nov 2, 2023
1 parent
47c69ce
commit cf3ddec
Showing
4 changed files
with
142 additions
and
0 deletions.
There are no files selected for viewing
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 1,68 @@ | ||
| # VHS documentation | ||
| # | ||
| # Output: | ||
| # Output <path>.gif Create a GIF output at the given <path> | ||
| # Output <path>.mp4 Create an MP4 output at the given <path> | ||
| # Output <path>.webm Create a WebM output at the given <path> | ||
| # | ||
| # Require: | ||
| # Require <string> Ensure a program is on the $PATH to proceed | ||
| # | ||
| # Settings: | ||
| # Set FontSize <number> Set the font size of the terminal | ||
| # Set FontFamily <string> Set the font family of the terminal | ||
| # Set Height <number> Set the height of the terminal | ||
| # Set Width <number> Set the width of the terminal | ||
| # Set LetterSpacing <float> Set the font letter spacing (tracking) | ||
| # Set LineHeight <float> Set the font line height | ||
| # Set LoopOffset <float>% Set the starting frame offset for the GIF loop | ||
| # Set Theme <json|string> Set the theme of the terminal | ||
| # Set Padding <number> Set the padding of the terminal | ||
| # Set Framerate <number> Set the framerate of the recording | ||
| # Set PlaybackSpeed <float> Set the playback speed of the recording | ||
| # Set MarginFill <file|#000000> Set the file or color the margin will be filled with. | ||
| # Set Margin <number> Set the size of the margin. Has no effect if MarginFill isn't set. | ||
| # Set BorderRadius <number> Set terminal border radius, in pixels. | ||
| # Set WindowBar <string> Set window bar type. (one of: Rings, RingsRight, Colorful, ColorfulRight) | ||
| # Set WindowBarSize <number> Set window bar size, in pixels. Default is 40. | ||
| # | ||
| # Sleep: | ||
| # Sleep <time> Sleep for a set amount of <time> in seconds | ||
| # | ||
| # Type: | ||
| # Type[@<time>] "<characters>" Type <characters> into the terminal with a | ||
| # <time> delay between each character | ||
| # | ||
| # Keys: | ||
| # Backspace[@<time>] [number] Press the Backspace key | ||
| # Down[@<time>] [number] Press the Down key | ||
| # Enter[@<time>] [number] Press the Enter key | ||
| # Space[@<time>] [number] Press the Space key | ||
| # Tab[@<time>] [number] Press the Tab key | ||
| # Left[@<time>] [number] Press the Left Arrow key | ||
| # Right[@<time>] [number] Press the Right Arrow key | ||
| # Up[@<time>] [number] Press the Up Arrow key | ||
| # Down[@<time>] [number] Press the Down Arrow key | ||
| # PageUp[@<time>] [number] Press the Page Up key | ||
| # PageDown[@<time>] [number] Press the Page Down key | ||
| # Ctrl <key> Press the Control key <key> (e.g. Ctrl C) | ||
| # | ||
| # Display: | ||
| # Hide Hide the subsequent commands from the output | ||
| # Show Show the subsequent commands in the output | ||
|
|
||
| Output tapes/dns_demo2.gif | ||
|
|
||
| Set Shell "bash" | ||
| Set FontSize 16 | ||
| Set Width 800 | ||
| Set Height 800 | ||
|
|
||
| Type "make" Sleep 1000ms Enter Sleep 3s | ||
|
|
||
| Type "./build/dns twitter.com" Sleep 1000ms Enter Sleep 5s | ||
|
|
||
| Type "./build/dns www.example.com" Sleep 1000ms Enter Sleep 5s | ||
|
|
||
| Type "./build/dns www.adfk1lkda29knfd29.com" Sleep 1000ms Enter Sleep 5s | ||
|
|
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 1,74 @@ | ||
| # VHS documentation | ||
| # | ||
| # Output: | ||
| # Output <path>.gif Create a GIF output at the given <path> | ||
| # Output <path>.mp4 Create an MP4 output at the given <path> | ||
| # Output <path>.webm Create a WebM output at the given <path> | ||
| # | ||
| # Require: | ||
| # Require <string> Ensure a program is on the $PATH to proceed | ||
| # | ||
| # Settings: | ||
| # Set FontSize <number> Set the font size of the terminal | ||
| # Set FontFamily <string> Set the font family of the terminal | ||
| # Set Height <number> Set the height of the terminal | ||
| # Set Width <number> Set the width of the terminal | ||
| # Set LetterSpacing <float> Set the font letter spacing (tracking) | ||
| # Set LineHeight <float> Set the font line height | ||
| # Set LoopOffset <float>% Set the starting frame offset for the GIF loop | ||
| # Set Theme <json|string> Set the theme of the terminal | ||
| # Set Padding <number> Set the padding of the terminal | ||
| # Set Framerate <number> Set the framerate of the recording | ||
| # Set PlaybackSpeed <float> Set the playback speed of the recording | ||
| # Set MarginFill <file|#000000> Set the file or color the margin will be filled with. | ||
| # Set Margin <number> Set the size of the margin. Has no effect if MarginFill isn't set. | ||
| # Set BorderRadius <number> Set terminal border radius, in pixels. | ||
| # Set WindowBar <string> Set window bar type. (one of: Rings, RingsRight, Colorful, ColorfulRight) | ||
| # Set WindowBarSize <number> Set window bar size, in pixels. Default is 40. | ||
| # | ||
| # Sleep: | ||
| # Sleep <time> Sleep for a set amount of <time> in seconds | ||
| # | ||
| # Type: | ||
| # Type[@<time>] "<characters>" Type <characters> into the terminal with a | ||
| # <time> delay between each character | ||
| # | ||
| # Keys: | ||
| # Backspace[@<time>] [number] Press the Backspace key | ||
| # Down[@<time>] [number] Press the Down key | ||
| # Enter[@<time>] [number] Press the Enter key | ||
| # Space[@<time>] [number] Press the Space key | ||
| # Tab[@<time>] [number] Press the Tab key | ||
| # Left[@<time>] [number] Press the Left Arrow key | ||
| # Right[@<time>] [number] Press the Right Arrow key | ||
| # Up[@<time>] [number] Press the Up Arrow key | ||
| # Down[@<time>] [number] Press the Down Arrow key | ||
| # PageUp[@<time>] [number] Press the Page Up key | ||
| # PageDown[@<time>] [number] Press the Page Down key | ||
| # Ctrl <key> Press the Control key <key> (e.g. Ctrl C) | ||
| # | ||
| # Display: | ||
| # Hide Hide the subsequent commands from the output | ||
| # Show Show the subsequent commands in the output | ||
|
|
||
| Output ipv4_to_i.gif | ||
|
|
||
| Set Shell "bash" | ||
| Set FontSize 32 | ||
| Set Width 1200 | ||
| Set Height 600 | ||
|
|
||
| Type "./ipv4_to_i" Sleep 500ms Enter | ||
| Sleep 2s | ||
|
|
||
| Type "8.8.8.8" Sleep 500ms Enter | ||
| Sleep 1s | ||
|
|
||
| Type "31.13.70.36" Sleep 500ms Enter | ||
| Sleep 1s | ||
|
|
||
| Type "172.217.14.78" Sleep 500ms Enter | ||
| Sleep 5s | ||
|
|
||
| Ctrl D | ||
|
|