If it's helpful to anybody else, I'm using the built-in Screenshot.app (Command-Shift-5) to record these little clips, and this bit of ffmpeg to make animated GIFs. It's easier than uploading to a 3rd-party site.
ffmpeg -i "Screen Recording.mov" -filter_complex "[0:v] fps=12,scale=iw/2:-1,split ; palettegen
;
paletteuse" output.gif
If it's helpful to anybody else, I'm using the built-in Screenshot.app (Command-Shift-5) to record these little clips, and this bit of ffmpeg to make animated GIFs. It's easier than uploading to a 3rd-party site.
\nffmpeg -i \"Screen Recording.mov\" -filter_complex \"[0:v] fps=12,scale=iw/2:-1,split ; palettegen
;
paletteuse\" output.gif
\n
If it's helpful to anybody else, I'm using the built-in Screenshot.app (Command-Shift-5) to record these little clips, and this bit of ffmpeg to make animated GIFs. It's easier than uploading to a 3rd-party site.
\nffmpeg -i \"Screen Recording.mov\" -filter_complex \"[0:v] fps=12,scale=iw/2:-1,split ; palettegen
;
paletteuse\" output.gif
\n
