Spent far too much time trying to configure one of these GUI-based "convert MOV to GIF" tools before I remembered ...
I have ffmpeg and gifsicle locally. Bash to the rescue!
Don't have an account? You can sign up here