converting mov into some others

convert_mov.sh

# referenced from:
# https://medium.com/@Peter_UXer/small-sized-and-beautiful-gifs-with-ffmpeg-25c5082ed733
# https://www.bugcodemaster.com/article/convert-video-animated-gif-using-ffmpeg

# to gif, with custom frame rate
ffmpeg -i input.mov -r 20 \
       -filter_complex "[0:v] fps=15,scale=w=1080:h=-1,split \
       [a][b];[a] palettegen=stats_mode=single [p];[b][p] paletteuse=new=1" \
       output.gif -hide_banner
       
# to mp4, 2x speed
ffmpeg -i input.mov -filter:v "setpts=0.5*PTS" output.mp4