Context: I have an Ubuntu/Dolphin misbehaviour where it seems to think *.mkv
files are opened with ark
. The below screenshot indicates opening the Properties
dialog then clicking File Type Options
Note that the order of preference is Ark, GIMP, VLC. If I try to rearrange these using the UI and press OK, the changes do not take effect -- reopening the dialog shows the previous associations & ordering, and rebooting does not pick up any changes.
A little research tells me that the file associations are stored in one of these files, depending on what *nix you are running:
/usr/share/applications/defaults.list
/usr/share/applications/mimeapps.list
/usr/local/share/applications/defaults.list
/usr/local/share/applications/mimeapps.list
$HOME/.local/share/applications/defaults.list
$HOME/.local/share/applications/mimeapps.list
On my Ubuntu system, only the following two files exist.
/usr/share/applications/defaults.list
$HOME/.local/share/applications/mimeapps.list
Investigating...
$> grep matroska {/usr,/usr/local,$HOME/.local}/share/applications/{defaults,mimeapps}.list 2>/dev/null
/usr/share/applications/defaults.list:application/x-matroska=org.gnome.Totem.desktop
/usr/share/applications/defaults.list:audio/x-matroska=org.gnome.Totem.desktop
/usr/share/applications/defaults.list:video/x-matroska=org.gnome.Totem.desktop
$HOME/.local/share/applications/mimeapps.list:video/x-matroska=vlc.desktop;org.kde.ark.desktop;gimp.desktop;
$HOME/.local/share/applications/mimeapps.list:video/x-matroska=vlc.desktop;
This seems to indicate that ark
is not the first priority file association for *.mkv
files. This is also the only occurrence of the string ark
in any of these files, and there are no occurrences of the string mkv
.
From this I conclude that Dolphin is finding its file associations from something other than the above listed files.
What did I miss?