convert mp4 to gif on linux (ubuntu 18.04). ffmpeg -i firefox.mp4 firfox.gif (ffmpeg 3.4.4 )