From 91be684db8328759669850b012bde38d4b629da3 Mon Sep 17 00:00:00 2001 From: lew Date: Thu, 20 Nov 2025 19:51:46 +0000 Subject: [PATCH] feat(VHS): for demos --- vhs/config.tape | 66 ++++++++++++++++++++++++++++++++++++++++++++++++ vhs/intro.gif | Bin 0 -> 103459 bytes vhs/intro.tape | 14 ++++++++++ 3 files changed, 80 insertions(+) create mode 100644 vhs/config.tape create mode 100644 vhs/intro.gif create mode 100644 vhs/intro.tape diff --git a/vhs/config.tape b/vhs/config.tape new file mode 100644 index 0000000..1c75dc0 --- /dev/null +++ b/vhs/config.tape @@ -0,0 +1,66 @@ +# VHS documentation +# +# Output: +# Output .gif Create a GIF output at the given +# Output .mp4 Create an MP4 output at the given +# Output .webm Create a WebM output at the given +# +# Require: +# Require Ensure a program is on the $PATH to proceed +# +# Settings: +# Set FontSize Set the font size of the terminal +# Set FontFamily Set the font family of the terminal +# Set Height Set the height of the terminal +# Set Width Set the width of the terminal +# Set LetterSpacing Set the font letter spacing (tracking) +# Set LineHeight Set the font line height +# Set LoopOffset % Set the starting frame offset for the GIF loop +# Set Theme Set the theme of the terminal +# Set Padding Set the padding of the terminal +# Set Framerate Set the framerate of the recording +# Set PlaybackSpeed Set the playback speed of the recording +# Set MarginFill Set the file or color the margin will be filled with. +# Set Margin Set the size of the margin. Has no effect if MarginFill isn't set. +# Set BorderRadius Set terminal border radius, in pixels. +# Set WindowBar Set window bar type. (one of: Rings, RingsRight, Colorful, ColorfulRight) +# Set WindowBarSize Set window bar size, in pixels. Default is 40. +# Set TypingSpeed