GNOME Screen RecorderスクリーンショットとスクリーンキャストUIが充実していて使いやすい。範囲選択したり、マウスポインタの表示/非表示を切り替えたりもできる。ファイル形式はwebm固定。 mp4形式で録画したい……音声を含めての録画ができない。