Как изменить файловый менеджер по умолчанию в Ubuntu 16.04 Cinnamon?
Обычно Ubuntu при выборе предпочитаемых приложений, предлагает определиться и с файловым менеджером.
А c окружением Cinnamon, такого предложения нет.
Как сменить на Dolphin, например.