create mp4 video

ufechner7 · Sep 28, 2024 · 22d3b05 · 22d3b05
1 parent 66683f5
commit 22d3b05
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ video/*.gif
 .venv
 kps-image_tmp.so
 src/model.jl
+video/Tether_08b.mp4
diff --git a/bin/export_gif b/bin/export_gif
@@ -4,4 +4,8 @@ if [[ $(basename $(pwd)) == "bin" ]]; then
 fi
 julia --project="./video" -e 'using Pkg; Pkg.update(); include("video/export_gif.jl")'
 cd video
-rm -rf *.png
+rm -rf *.png
+rm Tether.mp4
+ffmpeg -i Tether.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" tmp.mp4
+ffmpeg -i tmp.mp4 -r 20 -filter:v "setpts=0.5*PTS" Tether.mp4
+rm tmp.mp4