Today I had a set of jpg images I wanted to turn into a .webm animation for my poverty line blog post. After some searching I found a nice solution on hamelot blog.

With image arranged in a folder naming like map_0001, map_0002 and so on. I ran the following command

$ ffmpeg -r 1 -f image2  -i map_%04d.png -vcodec libx264 -crf 25  -pix_fmt yuv420p map.mp4

Then I converted that map.mp4 into a smaller .webm with my helper script.

https://paste.sr.ht/~travisshears/1742232acc9c8458370e7b81c140a46a12f61ba4

source: hamelot post