Ubuntu 15.04全新安装:无法重命名gnome终端标签

分享于 

1分钟阅读

ubuntu

  繁體

问题

在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终端代码。


tab  Ubuntu  CAN  TERM  终端  Tab标签