doc: improve hero gif

Signed-off-by: Brian McGee <[email protected]>
numtide · May 2, 2024 · 17f354b · 17f354b
1 parent 2f557e3
commit 17f354b
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 16 deletions.
diff --git a/docs/public/fmt.gif b/docs/public/fmt.gif
diff --git a/docs/vhs/fmt.tape b/docs/vhs/fmt.tape
@@ -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
diff --git a/nix/docs.nix b/nix/docs.nix
@@ -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
+              '';
+            };
         }
       ];
     };