Ahora que estoy haciendo los videotutoriales para www.ultimateraspbian.com necesito grabar la pantalla en linux, así que uso recordmydesktop. Pero este programa graba en .ogv y eso no me lo lee ni avidemux (linux) ni virtualdub(windows), así que tengo que convertir a mp4 con el siguiente comando:
ffmpeg -y -i archivo.ogv -sameq -s 1920x1040 -r 15 -b 2M -bt 4M -vcodec libx264 -threads 8 -an -f mp4 salida.mp4/code>
He necesitado también instalar el codec libx264 con el comando
sudo apt-get install libavcodec-extra-53