Extract and crop images from MP4
mkdir cropped
for f in *.jpg *.png; do
echo convert "$f" -crop 1866x1050+54+29 cropped/"$f"
convert "$f" -crop 1866x1050+54+29 +repage cropped/"$f"
convert cropped/"$f" -resize 50% cropped/"$f"
done
Make gif and compress:
convert -delay 10 *.png all.gif
gifsicle -O3 --colors=128 --lossy=80 --use-col=web all.gif -o allnew.gif