@aral OBS is very full featured, but I've also had a great deal of use from SimpleScreenRecorder. Both in the repos of most distros, I think.