相关疑难解决方法(0)

Ubuntu 15.04 全新安装:无法重命名 gnome-terminal 选项卡

在 Ubuntu 14.10 中,如果我打开了多个终端选项卡,我可以右键单击终端选项卡并重命名它。在 Ubuntu 15.04 中我找不到这个功能。

有没有简单的方法可以找回来?

这是当前版本:

$ gnome-terminal --version
GNOME Terminal 3.14.2
Run Code Online (Sandbox Code Playgroud)

gnome-terminal 15.04

38
推荐指数
6
解决办法
2万
查看次数

如何在 ubuntu 16.04 中更改终端标题

当我使用 ubuntu 14.04 时,设置标题很容易。只需按 F2 或将鼠标移动到顶部菜单。但是ubuntu 16.04上没有菜单,按F2不能更改标题。我该怎么办?

command-line bash 16.04

35
推荐指数
2
解决办法
3万
查看次数

使 gnome-terminal 显示作为标题运行的命令

我希望通过 gnome-terminal 的标题栏可以看到正在运行的命令的名称,例如解压缩,但似乎不可能,如果运行的应用程序没有明确设置标题,即使我选择了“替换初始标题”配置文件对话框中的选项。

gnome-terminal

11
推荐指数
2
解决办法
6197
查看次数

标签 统计

gnome-terminal ×2

15.04 ×1

16.04 ×1

bash ×1

command-line ×1