我刚刚升级到 13.10，发现Ctrl++Alt现在T将启动 ROXTerm（我以前从未听说过）。从 Dash 打开“终端”仍然会打开旧的 gnome 终端。
为什么升级后这种情况会发生变化，我怎样才能（或者不应该？）将 gnome 终端再次设置为默认终端？
答案1
使用
sudo update-alternatives --config x-terminal-emulator
我可以调出菜单再次选择 gnome-terminal。到目前为止似乎运行良好。ROXTerm 似乎有更多选项，但不知道它是如何成为我的默认终端的，这让我想切换回来。