Я только что обновился до 13.10 и обнаружил, что Ctrl kbd> + Alt kbd> + T kbd> теперь запустит ROXTerm (которого я даже не слышал раньше). Открытие «Терминала» из Dash по-прежнему открывает старый терминал gnome.
Почему это изменилось с обновлением и как я (или не должен?) Снова установить терминал gnome по умолчанию?
Используя
sudo update-alternatives --config x-terminal-emulator
, я мог вызвать меню, чтобы выбрать гном-терминал еще раз. Кажется, до сих пор нормально работает. ROXTerm, похоже, имеет больше опций, но не зная, каким он стал моим терминалом по умолчанию, я захотел переключиться обратно.