如何在 gnome-terminal 选项卡（ubuntu 13.10）中创建设置标题的快捷方式？

Question

我记得在 gnome-terminal 中曾经有一个选项可以在“编辑”菜单中设置快捷方式。我已升级到 ubuntu 13.10 并安装了 gnome3，并且我尝试为 gnome-terminal 制作快捷方式，特别是为终端中的选项卡设置标题。

那我该怎么做呢？

Answer 1

该功能仍然存在，我已将其设置为ctrl+e自己并每天使用。访问Edit/Keyboard Shortcuts...，向下滚动到终端树并设置Set Title键盘快捷键。

在 13.10 中找到“编辑”菜单确实花了我很短的时间。看来除非您启用应用程序Show Menubar菜单，否则即使您将鼠标悬停在它上面也是隐藏的。您可以通过右键单击终端并选择 来重新启用菜单Show Menubar。然后，当您将鼠标悬停在统一面板上时，将出现菜单。