问题

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

有一种简单的方法可以找回它吗？

这是当前版本：

$ gnome-terminal --version


GNOME Terminal 3.14.2

答案1

用户标题代码已从gnome-terminal 3.14中删除1。只有一个方法来设置标题，使用转义序列例如，使用：

PROMPT_COMMAND='echo -ne"33]0;YOUR TITLE GOES HERE07"'

答案2

.bashrc解决方案，正常工作：

set-title(){


 ORIG=$PS1


 TITLE="e]2;$@a"


 PS1=${ORIG}${TITLE}


}

然后从提示中：$ set-title test-title

答案3

我切换到ROXTerm (http://roxterm.sourceforge.net)，它很好地完成了工作，它被打包在Ubuntu中：

sudo apt-get install roxterm

答案4

sudo apt-get install mate-terminal

终端基于Gnome终端代码。