4 ms·

I have been using gtk-record-desktop for many years. You can install it on Ubuntu simply with a "sudo apt-get install gtk-recordmydesktop".