add script create_gif

ufechner7 · Sep 28, 2024 · 850520b · 850520b
1 parent bff3168
commit 850520b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/bin/create_gif b/bin/create_gif
@@ -0,0 +1,5 @@
+#!/bin/bash
+if [[ $(basename $(pwd)) == "bin" ]]; then
+    cd ..
+fi
+julia --project="video" -e 'using Pkg; Pkg.instantiate(); include("video/create_gif.jl")'