デスクトップ操作を録画して mp4 にしたんだけどサイズが大きかったのでメモ。

ffmpeg で簡単に最適なサイズに圧縮してくれる。

まずはインストール

$ sudo apt install ffmpeg

そしたら実行。

$ ffmpeg -i input.mp4 output.mp4

細かいオプションを使わないでもだいぶ軽くなった。