RecordScreen.py is a simple commandline tool for linux that lets you
record your screen under X.org.  It uses ffmpeg to do the actual recording
and encoding.