先安装屏幕录像软件：
sudo apt-get install recordmydesktop gtk-recordmydesktop
然后安装ffmpeg：
sudo add-apt-repository ppa:mc3man/trusty-media
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install ffmpeg
最后转换，demo.ogv成demo.mp4示例：
ffmpeg -i demo.ogv -f mp4 demo.mp4