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

上一篇:linux 使用mwget 增加下载速度


下一篇:python-全局安装1.7.0时zc.buildout要求错误