terminal设置title

当打开多个terminal来回切换时，有可能会一下找不到期望的那个terminal，所以给每个terminal起个名字就很有必要了。设置方法如下：

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

编辑完~/.bashrc后记得在需要使用设置title的窗口执行一下source ~/.bashrc，当然了，设置万之后重启也是可以的。