rename create_gif to export_gif

ufechner7 · Sep 28, 2024 · f3091d6 · f3091d6
1 parent 850520b
commit f3091d6
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 5 deletions.
diff --git a/bin/create_gif b/bin/create_gif
diff --git a/bin/export_gif b/bin/export_gif
@@ -0,0 +1,5 @@
+#!/bin/bash
+if [[ $(basename $(pwd)) == "bin" ]]; then
+    cd ..
+fi
+julia --project="./video" -e 'using Pkg; Pkg.update(); include("video/export_gif.jl")'
diff --git a/video/export_gif.jl b/video/export_gif.jl
@@ -14,6 +14,9 @@ for j in 0:(198)
     else
         A = cat(A, img, dims=3)
     end
+    if j%10 == 0
+        println("Processing image $img_path")
+    end
 end
 
 FileIO.save(folder * "/Tether.gif", A)