Gnome-shellでデスクトップの録画

Gnome-Shellは、下記のコマンドでデスクトップの録画が始まる。

Ctrl+Alt+Shift+R

録画が始まると右下に赤いマークがでる。終了する場合は、開始と同じコマンドを入力する。
出力ファイルは、ホームディレクトリ直下に生成される。形式は、WebMである。FirefoxやVLCで視聴が可能となる。