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