notes for Gif creation with ffmpeg and quicktimeplayer:
screen recording (only application window)
Quicktime playerX -> new screen recording -> then drag a window
trim the beginning/end of movie
then set IN/OUT with old Quicktime and save again
slice movie into pngs, 320 width, auto height, framerate 10
mkdir output ffmpeg -i recorded.mov -r 10 output/ffout%3d.png (fullsize!) ffmpeg -i recorded.mov -vf scale=800:-1 -r 10 output/ffout%3d.png
image magick to create the final gif
convert -delay 8 -loop 0 -layers Optimize output/ffout*.png output/animation2.gif