A ver, que estoy intentando recopilar e investigar, porque nunca he usado programas para pasar de un formato a otro de video.
Me he hinchado a meter "mierda" con el urpmi para instalar las dependencias del pspvc y aún así no puedo instalarlo y estoy empezando a coger complejo, a pesar que ya había compilado antes algunos programas en linux.
Así que mientras me decantaré por el avidemux, que había usado una vez para pasar de avi a vcd. Entonces la duda que me surge es qué pongo en output format, porque no veo la opción mp4. Y otra es si tengo que separar el audio y el video como cuando pasé el avi a vcd.
Por otra parte estuve tanteando el mencoder, pero leyendome el man, pues la mitad de los terminos no los entiendo, la verdad, así que me instalé el gmencoder, pero he hecho un intento sin éxito,así que en esas estamos.
Un saludo y gracias a todos.