From f8c6ba1e5930222e5f262fc7fe4187666a7d1ad7 Mon Sep 17 00:00:00 2001 From: Jeevitha Kannan K S Date: Wed, 13 Nov 2024 19:46:00 +0530 Subject: [PATCH 1/2] Add accidentally deleted preview.tape Add labels + Wait 2sec after program ends --- .github/preview.tape | 93 +++++++++++++++++++++++++++++++++++ .github/workflows/preview.yml | 3 +- 2 files changed, 95 insertions(+), 1 deletion(-) create mode 100644 .github/preview.tape diff --git a/.github/preview.tape b/.github/preview.tape new file mode 100644 index 00000000..e56bd9bf --- /dev/null +++ b/.github/preview.tape @@ -0,0 +1,93 @@ +# 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