1、开启任意一个终端,输入命令
gedit ~/.bashrc
复制一下文件到.bashrc里
function title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
保存后,再打开另一个终端,在终端输入title name 就可以更改终端名字了
如果想立马生效,在第一个终端执行:source ~/.bashrc
1、开启任意一个终端,输入命令
gedit ~/.bashrc
复制一下文件到.bashrc里
function title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
保存后,再打开另一个终端,在终端输入title name 就可以更改终端名字了
如果想立马生效,在第一个终端执行:source ~/.bashrc