I generated a shell script to take care of batch converting .mov files to .gif
ffmpeg -i 01-redirects-and-public-pages.mov -s 600x400 -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=10 > 01-redirects-and-public-pages.gif
Initially I was running the above on an individual basis. It wasn’t hugely time consuming, in comparison to all the other video work I was doing. Worth turning into a script though, just to stop the copy paste, so I changed it to the following:
for i in *.mov; do ffmpeg -i "$i" -s 600x400 -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=10 > "${i%.mov}.gif" ; done
Making the script has taken repetition away, a key component of working efficiently.