[tristantio]

If you use a good OS like GNU/Linux, you can just do it via ffmpeg installed from your package manager with something like:

ffmpeg -f x11grab -s 1024x700 -i :0.0+0,40 -c:v libx264 -preset ultrafast -crf 0 /tmp/my-movie.mkv