He estado usando recordMyDesktop para grabar cosas. Un poco lento para compilar pero graba bien. Sin embargo, cuando trato de convertir de ogv a avi (he usado Devede y un script de mencoder) el audio y el video no están sincronizados.
Aquí está el script para referencia:
#!/bin/bash
# ogv to avi
# Call this with multiple arguments
# for example : ls *.{ogv,OGV} | xargs ogv2avi
N=$#;
echo "Converting $N files !"
for ((i=0; i<=(N-1); i++))
do
echo "converting" $1
filename=${1%.*}
#mencoder "$1" -ovc xvid -oac mp3lame -xvidencopts pass=1 -o $filename.avi
mencoder "$1" -o $filename.avi -oac mp3lame -lameopts fast:preset=standard -ovc lavc -lavcopts vcodec=mpeg4:vbitrate=4000
shift 1
done
¿Hay buenos convertidores de video confiables por ahí? :)