Linux's mime implementation is pretty wretched.
First I'd see if there were some other method of changing the default program (use a diff file browser, something from the system menu, etc), because the below is pretty mickey-mouse. Also make sure you checked "Always use this program").
You could also uninstall the player you don't want, then reinstall the one you do want.
If all that fails, delve into the wretchedness:
which sorta-kinda shows which apps (ludicrously renamed) open which type of files (but aggregated into different names so you can't really tell the file type without looking at yet another file located somewhere else).
My default program to open mp3 files is "foobaropen", but you won't find "mp3" and "foobaropen" anywhere near each other is any file, rather, just to make things unnecessarily complicated, "mp3" isn't called mp3, so look for a line with "audio/mpeg" referring to a ".desktop" file that has nothing to do with any "desktop":"audio/mpeg=userapp-foobaropen-8CAM7W.desktop"
Mint came up with the ludicrous name "userapp-foobaropen-8CAM7W.desktop" given the program's name of "foobaropen", and it's in:~/.local/share/applications/userapp-foobaropen-8CAM7W.desktop
And it looks like:
- Code: Select all
Comment=Custom definition for foobaropen
(IIRC, "NoDisplay" misleadingly refers to displaying in a system menu; the program itself DOES "display" when you run it).
So there's a couple of things you could do:
- change the program name in the sillyname.desktop file but leave sillyname the same.
(e.g. change the sillystuff-totem-sillystuff.desktop file to actually point to mplayer.)
- or, better, change which sillyname.desktop the mimeapps.list file points to.
(e.g. change the mimeapps.list file to point to sillystuff-mplayer-sillystuff.desktop.)
What is the .desktop file for mplayer named?
Try this or something similar:
$ sudo find / -iname "*player*.desktop"
and see what you get. In Mint 13 I have a gnome-mplayer.desktop and an mplayer.desktop, in two different places; in Mint16 nothing, because I generally uninstall most of that stuff and use vlc/foobar for all movies/audio.