Yes, I wrote a blog post about it, though the post is quite old now and maybe there are other better ways [0]. In short, ffmpeg can be used directly to create

Yes, I wrote a blog post about it, though the post is quite old now and maybe there are other better ways [0]. In short, ffmpeg can be used directly to create a gif: ffmpeg -i input.mp4 large_output.gif but it can be quite large. You can also use the appropriate "start" and "duration" options to selectively get a portion out. Animated gifs are pretty inefficient as it is so I'm usually happy with the above, and make sure to only restrict to 5-10s max, but there are other programs to try and help reduce the size, like gifsicle [1] and imagemagick [2]. [0] https://mechaelephant.com/dev/Screenshots-Screencasts-Animated-Gifs.html https://mechaelephant.com/dev/Screenshots-Screencasts-Animat... [1] https://github.com/kohler/gifsicle https://github.com/kohler/gifsicle [2] https://imagemagick.org/index.php https://imagemagick.org/index.php