ffmpeg -i your_gif.gif -c:v libvpx -crf 12 -b:v 1M output.webm
#!/bin/bash for FILE in *.gif ; do OUTNAME=`basename "$FILE" .gif`.webm ffmpeg -i $FILE -c:v libvpx -crf 12 -b:v 1M $OUTNAME done
convert some.gif %02d.jpg
ffmpeg -y -i %02d.jpg -c:v libvpx -qmin 15 -qmax 40 -crf 24 -b:v 1M -an "output.webm"
ffmpeg -y -i %02d.jpg -c:v libvpx -qmin 15 -qmax 40 -crf 24 -b:v 1M -an -filter:v "setpts=5.0*PTS" "output01.webm"