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

Question

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

向左移动终端

向右移动终端

关闭终端

并且没有选项“设置标题”存在于以前版本的 Ubuntu 中。

我的 gnome 终端版本是 3.14.2

Answer 1

万一有人还在看，.bashrc解决方案 proposed by Kirby也为我工作

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

然后从终端: $ set-title your-title