I recorded a video, and used a CLI to convert it to a GIF. FFMPEG is a pretty good tool for that