Não consegui converter pelo Terminal Shell um vídeo para um formato proprietário compatível com esses "players" como:MP3, MP4 e ai vai... Esses players só aceitam formatos esquisitos como: amv, .smv entre outros, onde você pode converter vídeos para esses formatos usando Software proprietário. Mas como usamos Software Livre dançamos ou não!

A pouca documentação na internet que nos mostra a solução, e também nem se ouve falar em desenvolvimentos de codecs para converter arquivos para esses formatos citados.

Mas tem um site super bacana que converte vários tipos de formatos para outros tipos de formatos de saída, você pode converter textos em .pdf para .odt, .rtf, .doc, converter áudio em .wav para .mp3, .ac3, converter vídeo de .mpeg para .amv, .wmv etc. Existe infinitos formatos por lá, talvez seja o formato que você esteja procurando.