Eu tenho usado recordMyDesktop para gravar coisas. Um pouco lento para compilar, mas registra bem. No entanto, quando tento converter de ogv para avi (usei Devede e um script mencoder), o áudio e o vídeo ficam fora de sincronia.
Aqui está o script para referência:
#!/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
Existem bons conversores de vídeo confiáveis por aí? :)