Я использую Ubuntu 17.10 с gnome по умолчанию. По какой-то причине Dolphin стал моим файловым менеджером по умолчанию, и я не могу вернуться к Nautilus. Я проверил все вхождения mimeapps.list, и все они настроены на использование Nautilus. Что мне, возможно, не хватает?
$ locate mimeapps.list
/home/memo/.config/mimeapps.list
/home/memo/.local/share/applications/mimeapps.list
/snap/core/3440/usr/share/applications/mimeapps.list
/snap/core/3604/usr/share/applications/mimeapps.list
/snap/core/3748/usr/share/applications/mimeapps.list
/usr/share/applications/mimeapps.list
Все они включают nautilus
$ for f in `locate mimeapps.list`; do grep -i nautilus $f; done
inode/directory=nautilus.desktop
application/x-gnome-saved-search=nautilus.desktop
inode/directory=nautilus-folder-handler.desktop;
inode/directory=nautilus.desktop
application/x-gnome-saved-search=nautilus.desktop
И ни одного упоминания о дельфине нигде
$ for f in `locate mimeapps.list`; do grep -i dolphin $f; done
<blank>
Любые идеи? Спасибо!