我最近更新系统后发现,16.04版本不能更改终端标题,这对于我这种有点强迫症的人来说无疑是很蛋疼的,后来通过查询,找到一种简单的处理方式,就是讲如下代码加到~/.bashrc的最后位置。
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
之后不需要重启等操作,直接通过在终端敲写 “set-title name”,name就是你要更改的名字。即可更改终端名字