자게에 올렸던 것을 팁 게시판에 정리합니다.

바꿔야 되는 이유는 GIF 대신에 MP4를 사용해야 되는 이유 를 참조하시고

현재 gif to mp4에 대한 옵션에 대한 검색 결과

https://rigor.com/blog/optimizing-animated-gifs-with-html5-video/

여기에 나와 있는 것을 그대로 테스트해 보니 

Gif별로 안 줄어드는 것도 있습니다.

그래서 이것 저것 찾아보다 -r 12 옵션을 넣어 보니 전체적으로 더 주는 것 같습니다.

ffmpeg -i animated.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" -r 12 video.mp4

-r 옵션 없을 때

-r 12 있을 때, 

화면에 나오는 화질/속도등을 보시고 옵션을 정하시면 됩니다. (케이스가 4개뿐이라서,  최적화 옵션은 ??)