Add video/gif generation + add wavey example

1 files changed, 12 insertions, 2 deletions

diff --git a/justfile b/justfile
index 9eefddf..69420b7 100644
--- a/justfile
+++ b/justfile
@@ -9,12 +9,22 @@ image file *args:
   #!/usr/bin/env sh
   set -eu
   image_id=$(just run "{{file}}" {{args}})
-  just show-image "$image_id"
+  just gen-image "$image_id"
 
-show-image image_id:
+gen-image image_id:
   echo "Displaying {{image_id}}" 1>&2
   ./image.sh "{{image_id}}"
 
+video file *args:
+  #!/usr/bin/env sh
+  set -eu
+  video_id=$(just run "{{file}}" {{args}})
+  just gen-video "$video_id"
+
+gen-video video_id:
+  echo "Displaying {{video_id}}" 1>&2
+  ./video.sh "{{video_id}}"
+
 repl *args:
   rlwrap sqlite3 "{{DB}}" {{args}}