マジかよ、こんな状況耐えられるわけないだろ？ gifファイルのプレビュー画像が出なくなって、可愛いパンダが見られなくなった！

録画の方法は2つある。一番汎用的なのは間違いなく byzanz を入れることだ。 sudo apt install byzanz そのあとはコマンドラインで使う： byzanz-record --duration=15 --x=200 --y=300 --width=700 --height=400 out.gif 範囲指定、全画面、ウィンドウに対応している。詳しい使い方は man で見ればいい。 もちろん byzanz は機能が強力とはいえ、別にこれといった利点があるわけでもない。ffmpeg でも gif は出力できる。ならここは GUI でやろうじゃないか。