doc: improve hero gif

Signed-off-by: Brian McGee <brian@bmcgee.ie>
This commit is contained in:
Brian McGee 2024-05-01 12:00:12 +01:00
parent 2f557e364a
commit 17f354b880
Signed by: brianmcgee
GPG Key ID: D49016E76AD1E8C0
3 changed files with 30 additions and 16 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 87 KiB

After

Width:  |  Height:  |  Size: 33 KiB

View File

@ -1,20 +1,24 @@
Require nix
Require treefmt
Set Shell zsh
Set FontSize 14
Set FontSize 11
Set Theme "Catppuccin Mocha"
Set Width 720
Set Height 400
Set Width 320
Set Height 220
Set Padding 20
Type "nix fmt -- -v -c"
Type "treefmt -c"
Sleep 1s
Enter
Sleep 3s
Enter
Type "nix fmt -- -v"
Enter
Sleep 1s
Type "treefmt"
Enter
Sleep 3s
Sleep 5s

View File

@ -57,14 +57,24 @@ _: {
{
category = "docs";
help = "regenerate gifs for docs";
name = "gifs";
command = ''
set -xeuo pipefail
for tape in $PRJ_ROOT/docs/vhs/*; do
vhs $tape -o "$PRJ_ROOT/docs/public/$(basename $tape .tape).gif"
done
'';
package = let
treefmt = pkgs.writeShellApplication {
name = "treefmt";
runtimeInputs = [self'.packages.treefmt] ++ (import ./formatters.nix pkgs);
text = ''
treefmt -C "$PRJ_ROOT/test/examples" --allow-missing-formatter "$@"
'';
};
in
pkgs.writeShellApplication {
name = "gifs";
runtimeInputs = [treefmt];
text = ''
for tape in "$PRJ_ROOT"/docs/vhs/*; do
vhs "$tape" -o "$PRJ_ROOT/docs/public/$(basename "$tape" .tape).gif"
done
'';
};
}
];
};