Como primer post de este año 2017 una receta rapida y sencilla :P
Receta rapida para convertir MP4 a GIF via shell con ffmpeg e imagemagick:
ffmpeg -i input.mp4 -vf scale=720:-1 -r 10 -f image2pipe -vcodec ppm - \
| convert -delay 5 -loop 0 - output.gif
Luego su contrario; GIF a MP4:
ffmpeg -i input.gif -c:v libx264 -pix_fmt yuv420p -movflags +faststart output.mp4
Seguramente existen otras maneras de hacerlo, pero a mi esto me esta funcionando perfectamente.
Bonus track: por cierto para instalar ffmpeg e imagemagick en ubuntu se pueden descargar de los repositorios de la distro con apt-get.