Convertendo de MP4 para GIF no Debian

Com o ffmpeg: 

 ffmpeg -i video.mp4 imagem.gif 

 Provavelmente também funciona com outros formatos de vídeo.