I have mpv installed in Ubuntu 13.10, and it works great as a video player when I'm using it on my laptop's display, but when I connect an external monitor through HDMI and play the video there, there ...
I would like to create a short clip of me playing Minecraft, an OpenGL game. The usual screencast recorders do not properly record OpenGL. What kind of software is available for this purpose? My ...