Klavye kısayolu olup olmadığını bilmiyorum, alternatif olarak aşağıdaki uygulamalar denenebilir.
Record My Desktop
sudo apt-get install gtk-recordmydesktop
Simple Screen Recorder
sudo add-apt-repository ppa:maarten-baert/simplescreenrecorder
sudo apt-get update
sudo apt-get install simplescreenrecorder
Sisteminiz 64 bit ise aşağıdaki komut ile 32 bit uyumluluk aketini de kurmalısınız.
sudo apt-get install simplescreenrecorder-lib:i386
