Ubuntu 16.04 终端无法更改title

我最近更新系统后发现，16.04版本不能更改终端标题，这对于我这种有点强迫症的人来说无疑是很蛋疼的，后来通过查询，找到一种简单的处理方式，就是讲如下代码加到~/.bashrc的最后位置。

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

之后不需要重启等操作，直接通过在终端敲写 “set-title  name”，name就是你要更改的名字。即可更改终端名字