Un programa que convierte vídeos en Linux a varios formatos a lo mejor ya lo habías usado y no sabias que también servia para eso, ve el vídeo y en la parte de abajo te dejo como descargarlo desde la pagina oficial que también ahí viene como instalarlo desde la terminal:
VLC es un reproductor multimedia libre y de código abierto multiplataforma y un «framework» que reproduce la mayoría de archivos multimedia, así como DVD, Audio CD, VCD y diversos protocolos de transmisión.
Simple, rápido y poderoso
Reproduce todo - Archivos, discos, cámaras web y flujos.
Reproduce la mayoría de codecs sin paquetes de codecs necesarios - MPEG-2, MPEG-4, H.264, MKV, WebM, WMV, MP3...
Ejecutable en todas las plataformas - Windows, Linux, Mac OS X, Unix, iOS, Android ...
Completamente gratis - sin software espía, sin anuncios y sin seguimiento de ususario.