升级到Ubuntu 15.04后无法重命名gnome终端窗口

Question

升级到Ubuntu 15.04后,我无法重命名终端窗口.右键单击有三个选项 -

• 向左移动终端
• 向右移动终端
• 关闭终端

在以前的Ubuntu版本中没有选项'Set title'.

我的gnome-terminal版本是3.14.2

Answer 1

如果有人还在寻找，柯比提出的.bashrc解决方案也对我有用

set-title(){
  ORIG=$PS1
  TITLE="\e]2;$@\a"
  PS1=${ORIG}${TITLE}
}

然后从 trminal ： $ set-title your-title

Answer 2

这里有一个答案：https://askubuntu.com/questions/616404/ubuntu-15-04-fresh-install-cant-rename-gnome-terminal-tabs

总之：该选项已被删除：/有一些不同程度的笨拙的解决方法。