Hacker News new | ask | show | jobs
by paradox460 1054 days ago
You can do that with ffmpeg, but the output isn't ideal

I'd use gifski: https://gif.ski/