ryanrhee

#!/bin/bash

# assumes the screen recording is pr.mov

# first, make a palette:
ffmpeg -y -i pr.mov -vf fps=10,palettegen palette.png

# use palette to make the gif (scaled to width:700)
ffmpeg -i pr.mov -i palette.png -filter_complex "fps=10,scale=700:-1,paletteuse" pr.gif