From 850520bc283b2d16893845f5182d11b25c9ca216 Mon Sep 17 00:00:00 2001 From: Uwe Fechner Date: Sat, 28 Sep 2024 14:27:53 +0200 Subject: [PATCH] add script create_gif --- bin/create_gif | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 bin/create_gif diff --git a/bin/create_gif b/bin/create_gif new file mode 100755 index 0000000..5b103eb --- /dev/null +++ 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")' \ No newline at end of file