Encontrei uma maneira satisfatória:
Parece que o mkv (**) permite muitos níveis de compactação. Usando uma compressão baixa para vídeo, eu posso gravar em tempo real e com qualidade no meu baixo eeepc.
Para conseguir isso, eu tive que usar ffmpeg
. Está disponível no Ubuntu, mas usei uma versão de um ppa (*):
Para instalar:
sudo add-apt-repository ppa:jon-severinsson/ffmpeg
sudo apt-get update
sudo apt-get install ffmpeg
Para gravar:
ffmpeg -f x11grab -r 25 -s 800x450 -i :0.0+0,60 -f alsa -i plughw:1,0 -vcodec libx264 -crf 0 -preset ultrafast -acodec pcm_s16le file.mkv
A parte importante é este "preset ultrafast" que diz ao codificador para não comprimir demais o vídeo.
(*) aparentemente, o Ubuntu está usando um fork de ffmpeg
que não é o mais comum em uso. Eu tentei essa linha com f fmpeg
do Ubuntu e não funcionou. No entanto, deve-se notar que ainda estou usando 11.10
(**) provavelmente o mkv é um container, e este libx264 é o codec que permite diferentes compressões ...