无法再在Ubuntu 16中设置终端标题(gnome-terminal)

在Ubuntu 14.10 LTS中,我只需右键单击并选择Set Title即可设置终端选项卡的标题。 这是使用默认终端应用程序gnome-terminal

在Ubuntu 16.04 LTS中,我无法再设置标题,终端应用程序仍然是gnome-terminal 。 选项Set Title不再出现在菜单中。

是否在14.10和16.04之间的某个时间删除了此function? 如何在Ubuntu 16.04中设置终端标签的标题?

设置终端标题的选项已在16.04 LTS中弃用,但仍有一种设置标题的方法。 编辑~/.bashrc文件并添加以下行:

 # function to set terminal title function set-title(){ if [[ -z "$ORIG" ]]; then ORIG=$PS1 fi TITLE="\[\e]2;$*\a\]" PS1=${ORIG}${TITLE} } 

在关闭并重新打开终端或源.bashrc (命令: source ~/.bashrc )之后,只需键入以下内容即可设置标题:

 set-title "" 

我在这里找到的解决方案并自己使用它,因为我运行16.04 LTS。