Screen recording software

Vokoscreen works remarkably well on my system. The screencast in this post was made with it.

It has a number of options, a.o. to record a section of the screen, the whole screen, sound options and so on.

You'll have to see if it works in your situation for your specific requirements though.

Vokoscreen is in the repos.