Почему не: sudo update-alternatives --config x-terminal-emulator
Работает, чтобы изменить терминал по умолчанию в 12.10 ubuntu-one nautilus? Я нахожу это запутанным.
Начиная с Ubuntu 12.04, появился новый инструмент для изменения приложений по умолчанию. Согласно этому ответу , нам нужно использовать gsettings
сейчас. Я могу подтвердить, что он работает на Ubuntu 13.10.
Например, если вы хотите использовать Sakura в качестве терминала по умолчанию:
gsettings set org.gnome.desktop.default-applications.terminal exec 'sakura'