Default video player in Linux

Just a quick memo on how to make mplayer the default videoplayer in Linux: xdg-mime default mplayer.desktop…