Ubuntu, Debian, etc

Com o ffmpeg:

ffmpeg -i video.mp4 imagem.gif

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

Isso ajudou?