Ubuntu 20.04修改终端标题栏文字

前旧版本的Ubuntu（ubuntu14.04）下的终端可以右键在标题栏上点击，菜单里就有一项可以改终端的标题。在Ubuntu 16.04/20.04下发现竟然没有这一项了。

如下提供一种修改方法：
（1）、在.bashrc中加入函数：

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

添加完成后，记得source ~/.bashrc

（2）、然后再终端敲击：
set_title NewTitle

标签：set,标题栏,bashrc,终端,Ubuntu,PS1,20.04,ORIG
来源： https://blog.csdn.net/weixin_42135087/article/details/113147568