You can also use vlc to record your desktop. That way you can also control the output video codec and pass additional parameters to control the quality/size. Al

You can also use vlc to record your desktop. That way you can also control the output video codec and pass additional parameters to control the quality/size. Also, you can stream your desktop live to a streaming server (like rtmp).