Make an Animated GIF with ImageMagick Revision as of Friday, 12 August 2022 at 15:04 UTC

/usr/local/bin/convert -delay 20 -loop 1 some_file.mp4 animated.gif