gifsicle

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-Animat... [1] https://github.com/kohler/gifsicle [2] https://imagemagick.org/index.php

It's weird that this pull request was never accepted by gifsicle. https://github.com/kohler/gifsicle/pull/16 Also check out his other high-quality GIF encoder project https://gif.ski/ Older HN submission https://news.ycombinator.com/item?id=15730018