Ho usato recordMyDesktop per registrare cose. Un po 'lento da compilare ma registra bene. Tuttavia, quando provo a convertire da ogv ad avi (ho usato Devede e uno script mencoder) l'audio e il video non sono sincronizzati.
Ecco lo script per riferimento:
#!/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
Esistono buoni convertitori di video affidabili là fuori? :)